next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
EquivariantGB :: reduce

reduce -- computes an equivariant normal form

Synopsis

Description

i1 : R = buildERing({symbol x}, {1}, QQ, 3);
i2 : reduce(x_0^2 + x_0*x_2, {x_1})

      2
o2 = x
      0

o2 : R

Caveat

The output does not necessarily belong to the same ring as the input.

Ways to use reduce :