1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
document {
Key => {(graphIdeal, RingMap),graphIdeal,[graphIdeal,MonomialOrder],[graphIdeal,MonomialSize],[graphIdeal,VariableBaseName]},
Headline => "the ideal of the graph of the regular map corresponding to a ring map",
Usage => "graphIdeal f",
Inputs => {
"f",
MonomialOrder => { "a monomial ordering, see ", TO "monomial orderings" },
MonomialSize => ZZ => { "the monomial size, see ", TO MonomialSize },
VariableBaseName => Symbol => { "the variable base name, see ", TO VariableBaseName }
},
Outputs => {Ideal => {"the ideal of the graph of regular map corresponding to ", TT "f"}},
EXAMPLE lines ///
R = QQ[x,y]
S = QQ[s,t,u]
f = map(R,S,{x^2,x*y,y^2})
graphIdeal f
///,
SeeAlso => {"graphRing"}
}
|
