i9 : save := serialize userSymbols()
o9 = -- -*- mode: M2; coding: utf-8 -*-
s0:=QQ -- Ring : QQ
s1:=monoid[x..y, Degrees => {2:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {2:1}, Position => Up}, DegreeRank => 1] -- GeneralOrderedMonoid : monoid[x..y, Degrees => {2:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {2:1}, Position => Up}, DegreeRank => 1]
s2:=s0 s1 -- PolynomialRing : R
s3:=global R -- Symbol : R
s4:=s2_{0, 3} -- R : y^3
s5:=s2_{2, 0} -- R : x^2
s6:=-1/1 -- QQ : -1
s7:=1_s2 -- R : 1
s8:=s4+s5+s6*s7 -- R : y^3+x^2-1
s9:=ideal(s8) -- Ideal : ideal(y^3+x^2-1)
s10:=s2/s9 -- QuotientRing : S
s11:=global S -- Symbol : S
s12:=s10_{1, 0} -- S : x
s13:=global x -- Symbol : x
s14:=s10_{0, 1} -- S : y
s15:=global y -- Symbol : y
s16:=global I -- Symbol : I
s17:=Type -- Type : Type
s18:=List -- Type : List
s19:=newClass(s17,s18,hashTable{}) -- Type : X
s20:=global X -- Symbol : X
s21:=MutableList -- Type : MutableList
s22:=newClass(s21,{}) -- MutableList : MutableList{...1...}
s23:=newClass(s21,{}) -- MutableList : MutableList{...1...}
s24:=global g -- Symbol : g
s25:=global h -- Symbol : h
s26:={s3,s13,s15,s16,s11,s20,s24,s25} -- List : {R, x, y, I, S, X, g, h}
s3<-s2
s11<-s10
s13<-s12
s15<-s14
s16<-s9
globalAssignFunction(s20,s19)
s20<-s19
s22#0=s23
s23#0=s22
s24<-s23
s25<-s22
s26
|
i12 : value save
o12 = {R, x, y, I, S, X, g, h}
o12 : List
|