#16600: Further Free* cleanup
------------------------------+------------------------
       Reporter:  nthiery     |        Owner:
           Type:  task        |       Status:  new
       Priority:  major       |    Milestone:  sage-6.3
      Component:  categories  |   Resolution:
       Keywords:              |    Merged in:
        Authors:              |    Reviewers:
Report Upstream:  N/A         |  Work issues:
         Branch:              |       Commit:
   Dependencies:              |     Stopgaps:
------------------------------+------------------------
Description changed by nthiery:

Old description:

> - Implement shorthand `Algebras(QQ).free(...)` for `FreeAlgebra(QQ, ...)`
> - Implement shorthand `Algebras(QQ).Commutative().free(...)` for
> `PolynomialRing(QQ,...)`
> - Implement shorthand `Modules(QQ).free()` for `FreeModule`
> - Merge the implementations of `FreeAlgebra(...)` with
> `FreeMonoid().algebra()`
> - Deprecate some of `FreeGroup`, `FreeAlgebra`, `FreeAbelianMonoid`,
> `FreeMonoid`, `FreeModule` from the global name space?
> - Deprecate the `FreeMonoid` and `FreeAbelianMonoid` implementations (the
> indexed versions are as good)
> - Make the algorithmic available in `FreeGroup` and `AbelianGroup`
> available to the indexed versions
> - Implement categories like `Algebras.Commutative.Free` for generic code
> for all polynomial rings.

New description:

 - Implement shorthand `Algebras(QQ).free(...)` for `FreeAlgebra(QQ, ...)`
 - Implement shorthand `Algebras(QQ).Commutative().free(...)` for
 `PolynomialRing(QQ,...)`
 - Implement shorthand `Modules(QQ).free()` for `FreeModule`
 - Merge the implementations of `FreeAlgebra(...)` with
 `FreeMonoid().algebra()`
 - Deprecate some of `FreeGroup`, `FreeAlgebra`, `FreeAbelianMonoid`,
 `FreeMonoid`, `FreeModule` from the global name space? If not, a minimal
 make them shorthands for `XXX.free()`.
 - Deprecate the `FreeMonoid` and `FreeAbelianMonoid` implementations (the
 indexed versions are as good)
 - Make the algorithmic available in `FreeGroup` and `AbelianGroup`
 available to the indexed versions
 - Implement categories like `Algebras.Commutative.Free` for generic code
 for all polynomial rings.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/16600#comment:2>
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/d/optout.

Reply via email to