#15741: Deprecate FiniteDimensionalAlgebrasWithBasis and friends from being in
the
global namespace
-------------------------------+------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.1
Component: categories | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------+------------------------
Description changed by nthiery:
Old description:
> 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
>
> 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
> }}}
New description:
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??
}}}
--
--
Ticket URL: <http://trac.sagemath.org/ticket/15741#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
