Opened 3 years ago
Last modified 3 years 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 )
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 3 years ago by
- Description modified (diff)
comment:2 Changed 3 years ago by
comment:3 Changed 3 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:4 Changed 3 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:5 Changed 3 years ago by
- Milestone changed from sage-6.3 to sage-6.4
Note: See
TracTickets for help on using
tickets.
(curious)