Opened 11 months ago

Last modified 4 months ago

#15741 new enhancement

Deprecate FiniteDimensionalAlgebrasWithBasis and friends from being in the global namespace

Reported by: nthiery Owned by:
Priority: major Milestone: sage-6.4
Component: categories Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by nthiery)

Thanks to #10963 that introduces axioms and in particular the notation:

    Sets().Finite()

it will be possible to unclutter the global name space from all the
following::

FiniteSets
FiniteEnumeratedSets
InfiniteEnumeratedSets

CommutativeAdditiveSemigroups
CommutativeAdditiveMonoids
CommutativeAdditiveGroups

DivisionRings?
CommutativeRings
IntegralDomains
QuotientFields
FiniteFields

FinitePosets
FiniteLatticePosets

FiniteSemigroups
FiniteMonoids
FiniteGroups
FinitePermutationGroups

CommutativeAlgebras

MonoidAlgebras
GroupAlgebras

CommutativeRingIdeals
CommutativeAlgebraIdeals

ModulesWithBasis
AlgebrasWithBasis
CoalgebrasWithBasis
BialgebrasWithBasis
HopfAlgebrasWithBasis

FiniteDimensionalModulesWithBasis
FiniteDimensionalAlgebrasWithBasis
FiniteDimensionalCoalgebrasWithBasis
FiniteDimensionalBialgebrasWithBasis
FiniteDimensionalHopfAlgebrasWithBasis

GradedModules
GradedAlgebras
GradedCoalgebras
GradedBialgebras
GradedHopfAlgebras

GradedModulesWithBasis
GradedAlgebrasWithBasis
GradedCoalgebrasWithBasis
GradedBialgebrasWithBasis
GradedHopfAlgebrasWithBasis

FiniteCoxeterGroups
FiniteWeylGroups
AffineWeylGroups

HighestWeightCrystals
RegularCrystals
FiniteCrystals
ClassicalCrystals

The purpose of this ticket is to deprecate them, or at least a good
number of them, from the global name space as a first step toward
removal.

The following might become candidates too, by introducing appropriate
axioms / constructions.

RingIdeals
AlgebraModules
AlgebraIdeals

LatticePosets  ???
HopfAlgebras   ???
BiAlgebras
PartiallyOrderedMonoids
GcdDomains ???
EuclideanDomains???
UniqueFactorizationDomains???
PrincipalIdealDomains??

Change History (5)

comment:1 Changed 11 months ago by nthiery

  • Description modified (diff)

comment:2 Changed 11 months ago by ncohen

(curious)

comment:3 Changed 11 months ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:4 Changed 8 months ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 4 months ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.