Opened 9 years ago

Last modified 8 years ago

#15741 new enhancement

Deprecate FiniteDimensionalAlgebrasWithBasis and friends from being in the global namespace

Reported by: Nicolas M. Thiéry 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:

Status badges

Description (last modified by Nicolas M. Thiéry)

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 9 years ago by Nicolas M. Thiéry

Description: modified (diff)

comment:2 Changed 9 years ago by Nathann Cohen

(curious)

comment:3 Changed 9 years ago by For batch modifications

Milestone: sage-6.1 → sage-6.2

comment:4 Changed 9 years ago by For batch modifications

Milestone: sage-6.2 → sage-6.3

comment:5 Changed 8 years ago by For batch modifications

Milestone: sage-6.3 → sage-6.4
Note: See TracTickets for help on using tickets.