Macaulay2 » Documentation
Packages » NAGtypes :: substitute(PolySystem,Ring)
next | previous | forward | backward | up | index | toc

# substitute(PolySystem,Ring) -- substitute a ring in a polynomial system

- Function: substitute
- Usage:
    `G = sub(F,R)`
- Inputs:
  - F, a polynomial system
  - R, a ring
- Outputs:
  - G, a polynomial system

## Description

Constructs a polynomial system by attempting to map polynomials of a given system to a given ring.

    i1 : R = QQ[x,y]; S := polySystem {x^2+y^2-6, 2*x^2-y}

    o2 = {-2} | x2+y2-6 |
         {-2} | 2x2-y   |

    o2 : PolySystem

    i3 : T := sub(S,CC[x,y])

    o3 = {-2} | x2+y2-6 |
         {-2} | 2x2-y   |

    o3 : PolySystem

    i4 : ring T

    o4 = CC  [x..y]
           53

    o4 : PolynomialRing

## See also

- polySystem -- construct a polynomial system
- PolySystem -- a polynomial system

## Ways to use this method:

- substitute(PolySystem,Ring) -- substitute a ring in a polynomial system

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/NAGtypes/doc-NAGtypes.m2:482:0.