i1 : R = ZZ/101[a,b,c_1,c_2]; |
i2 : R o2 = R o2 : PolynomialRing |
i3 : describe R ZZ o3 = ---[a..b, c ..c , Degrees => {4:1}, Heft => {1}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 1] 101 1 2 {GRevLex => {4:1} } {Position => Up } |
i4 : toString describe R o4 = (ZZ/101)[a..b, c_1..c_2, Degrees => {4:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {4:1}, Position => Up}, DegreeRank => 1] |
i5 : toExternalString R o5 = (ZZ/101)(monoid[a..b, c_1..c_2, Degrees => {4:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {4:1}, Position => Up}, DegreeRank => 1]) |
i6 : QQ[x,d,WeylAlgebra=>{x=>d}] o6 = QQ[x, d] o6 : PolynomialRing, 1 differential variables |
i7 : describe oo o7 = QQ[x, d, Degrees => {2:1}, Heft => {1}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 1, WeylAlgebra => {x => d}] {GRevLex => {2:1} } {Position => Up } |
The object describe is a method function with a single argument.