qR -- A method for specifying the underlying quotient ring

Synopsis

Usage:
I=qR(R,p)
Inputs:
- PR, the polynomial ring specified usingpR
- p, the ideal (generators) of the curve
Outputs:
- an ideal

Description

The function qR generates the quotient ring R over the ideal p. The variables and equations (the ideal generators) should be specified by pR and in the form of Miura, respectively.

i1 : R=pR(GF 13,{x,y},{2,3})

o1 = R

o1 : PolynomialRing

i2 : I=qR(R,y^2-x^3-7*x)

o2 = I

o2 : QuotientRing