monoid(...,Inverses=>...) -- allow negative exponents in monomials

Synopsis

• Usage:

  monoid[X,Y, Inverses => P]

Description

i1 : S = QQ[x,y, Inverses => true, MonomialOrder => Lex]

o1 = S

o1 : PolynomialRing

i2 : S_{1,-1} + S_{-1,1}

        -1    -1
o2 = x*y   + x  y

o2 : S

Further information

• Default value: false
• Function: monoid -- make or retrieve a monoid
• Option key: Inverses -- an optional argument

See also

• monoid -- make or retrieve a monoid
• newRing -- make a copy of a ring, with some features changed
• tensor(Ring,Ring) -- tensor product of monoids
• symmetricAlgebra -- the symmetric algebra of a module

Functions with optional argument named Inverses :

• monoid(...,Inverses=>...) -- allow negative exponents in monomials
• newRing(...,Inverses=>...) -- see newRing -- make a copy of a ring, with some features changed
• symmetricAlgebra(...,Inverses=>...) -- see symmetricAlgebra -- the symmetric algebra of a module
• tensor(Monoid,Monoid,Inverses=>...) -- see tensor(Monoid,Monoid) -- tensor product of monoids
• tensor(Ring,Ring,Inverses=>...) -- see tensor(Monoid,Monoid) -- tensor product of monoids