def __init__(self,modstr="",ring=None): '''Solvable module constructor. ''' if ring == None: sr = StringReader( modstr ); tok = GenPolynomialTokenizer(sr); self.mset = tok.nextSolvableSubModuleSet(); else: self.mset = ModuleList(ring,None); self.ring = self.mset.ring;
def __init__(self,ring,ringstr="",list=None): '''Constructor for an ideal in a solvable polynomial ring. ''' self.ring = ring; if list == None: sr = StringReader( ringstr ); tok = GenPolynomialTokenizer(ring.ring,sr); self.list = tok.nextSolvablePolynomialList(); else: self.list = pylist2arraylist(list); self.pset = OrderedPolynomialList(ring.ring,self.list);
def __init__(self,ringstr="",ring=None): '''Ring constructor. ''' if ring == None: sr = StringReader( ringstr ); tok = GenPolynomialTokenizer(sr); self.pset = tok.nextPolynomialSet(); self.ring = self.pset.ring; else: self.ring = ring; self.engine = GCDFactory.getProxy(self.ring.coFac);
def __init__(self,ring,polystr="",list=None): '''Ideal constructor. ''' self.ring = ring; if list == None: sr = StringReader( polystr ); tok = GenPolynomialTokenizer(ring.pset.ring,sr); self.list = tok.nextPolynomialList(); else: self.list = pylist2arraylist(list); self.pset = OrderedPolynomialList(ring.ring,self.list);
def __init__(self,ringstr="",ring=None): '''Solvable polynomial ring constructor. ''' if ring == None: sr = StringReader( ringstr ); tok = GenPolynomialTokenizer(sr); self.pset = tok.nextSolvablePolynomialSet(); self.ring = self.pset.ring; else: self.ring = ring; if not self.ring.isAssociative(): print "warning: ring is not associative";
def __init__(self,module,modstr="",list=None): '''Constructor for sub-module over a solvable polynomial ring. ''' self.module = module; if list == None: sr = StringReader( modstr ); tok = GenPolynomialTokenizer(module.ring,sr); self.list = tok.nextSolvableSubModuleList(); else: self.list = pylist2arraylist(list); self.mset = OrderedModuleList(module.ring,self.list); self.cols = self.mset.cols; self.rows = self.mset.rows;
def __init__(self,ringstr="",truncate=None,ring=None,cofac=None,name="z"): '''Ring constructor. ''' if ring == None: if len(ringstr) > 0: sr = StringReader( ringstr ); tok = GenPolynomialTokenizer(sr); pset = tok.nextPolynomialSet(); ring = pset.ring; vname = ring.vars; name = vname[0]; cofac = ring.coFac; if isinstance(cofac,RingElem): cofac = cofac.elem; if truncate == None: self.ring = UnivPowerSeriesRing(cofac,name); else: self.ring = UnivPowerSeriesRing(cofac,truncate,name); else: self.ring = ring;