Skip to content

Commit

Permalink
src/sage/algebras/finite_gca.py: Remove dubious '# needs sage.libs.si…
Browse files Browse the repository at this point in the history
…ngular'; doctest cosmetics
  • Loading branch information
Matthias Koeppe committed Nov 12, 2023
1 parent bd006df commit 919ec6f
Showing 1 changed file with 7 additions and 4 deletions.
11 changes: 7 additions & 4 deletions src/sage/algebras/finite_gca.py
Original file line number Diff line number Diff line change
Expand Up @@ -90,14 +90,15 @@ class FiniteGCAlgebra(CombinatorialFreeModule, Algebra):
sage: A.<x,y,z,t> = GradedCommutativeAlgebra(QQ, degrees=(1,2,2,3), max_degree=6)
sage: A
Graded commutative algebra with generators ('x', 'y', 'z', 't') in degrees (1, 2, 2, 3) with maximal degree 6
Graded commutative algebra with generators ('x', 'y', 'z', 't')
in degrees (1, 2, 2, 3) with maximal degree 6
sage: t*x + x*t
0
sage: x^2
0
sage: x*t^2
0
sage: x*y^2+z*t
sage: x*y^2 + z*t
x*y^2 + z*t
The generators can be returned with :meth:`algebra_generators`::
Expand All @@ -115,7 +116,9 @@ class FiniteGCAlgebra(CombinatorialFreeModule, Algebra):
Depending on the context, the multiplication can be given a different
symbol::
sage: A.<x,y,z,t> = GradedCommutativeAlgebra(QQ, degrees=(1,2,6,6), max_degree=10, mul_symbol='⌣', mul_latex_symbol=r'\smile')
sage: A.<x,y,z,t> = GradedCommutativeAlgebra(QQ, degrees=(1,2,6,6), max_degree=10,
....: mul_symbol='⌣',
....: mul_latex_symbol=r'\smile')
sage: x*y^2 + x*t
x⌣y^2 + x⌣t
sage: latex(x*y^2 - z*x)
Expand All @@ -127,7 +130,7 @@ class FiniteGCAlgebra(CombinatorialFreeModule, Algebra):
omitted, an instance of the class
:class:`sage.algebras.commutative_dga.GCAlgebra` is created instead::
sage: A.<x,y,z,t> = GradedCommutativeAlgebra(QQ, degrees=(1,2,6,6)) # needs sage.libs.singular
sage: A.<x,y,z,t> = GradedCommutativeAlgebra(QQ, degrees=(1,2,6,6))
sage: type(A)
<class 'sage.algebras.commutative_dga.GCAlgebra_with_category'>
Expand Down

0 comments on commit 919ec6f

Please sign in to comment.