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