RFParsers

scas.scripting.RFParsers
class RFParsers(using x$1: RationalFunction) extends FieldParsers[RF]

Attributes

Graph
Supertypes
trait FieldParsers[RF]
trait UFDParsers[RF]
trait RingParsers[RF]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Constructors

def this(ring: PolynomialOverUFD[Poly, BigInteger, Array[Int]])
def this(dummy: Boolean)

Concrete methods

def base: Parser[RF]

Inherited methods

def comparison: Parser[Boolean]

Attributes

Inherited from:
StructureParsers
def expr: Parser[RF]

Attributes

Inherited from:
RingParsers
def factor: Parser[RF]

Attributes

Inherited from:
RingParsers

Attributes

Inherited from:
StructureParsers
def term: Parser[RF]

Attributes

Inherited from:
RingParsers
override def unsignedFactor: Parser[RF]

Attributes

Definition Classes
Inherited from:
FieldParsers
override def unsignedTerm: Parser[RF]

Attributes

Definition Classes
Inherited from:
UFDParsers

Concrete fields

Givens

Givens

override given structure: RationalFunction