root
API
Generated with
root/scas/scas.scripting

scas.scripting

package scas.scripting

Members list

Type members

Classlikes

class BAParsers(using x$1: BooleanAlgebra) extends Impl

Attributes

Companion
object
Supertypes
trait Impl
trait RingParsers[BA]
class Object
trait Matchable
class Any
Show all
object BAParsers

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
BAParsers.type
class BooleanAlgebra(on: Boolean, recurse: Boolean, conj: Boolean, s: Variable*) extends WithNot

Attributes

Companion
object
Supertypes
class WithNot
class BooleanAlgebra
trait Impl
trait Impl
trait BooleanRing[Element[Boolean, Array[Int]]]
trait Residue[Element[Boolean, Array[Int]], Boolean, Int]
trait Residue[Element[Boolean, Array[Int]], Boolean, Int]
trait Residue[Element[Boolean, Array[Int]], Element[Boolean, Array[Int]]]
trait UniqueFactorizationDomain[Element[Boolean, Array[Int]]]
trait NotQuiteField[Element[Boolean, Array[Int]]]
trait Ring[Element[Boolean, Array[Int]]]
trait Monoid[Element[Boolean, Array[Int]]]
trait SemiGroup[Element[Boolean, Array[Int]]]
trait AbelianGroup[Element[Boolean, Array[Int]]]
trait Structure[Element[Boolean, Array[Int]]]
trait Show[Element[Boolean, Array[Int]]]
trait Equiv[Element[Boolean, Array[Int]]]
trait Equiv[Element[Boolean, Array[Int]]]
trait Serializable
class Object
trait Matchable
class Any
Show all
object BooleanAlgebra

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class BooleanParsers extends BooleanRingParsers[Boolean]

Attributes

Supertypes
trait BooleanRingParsers[Boolean]
trait RingParsers[Boolean]
trait StructureParsers[Boolean]
class Object
trait Matchable
class Any
Show all
trait BooleanRingParsers[T] extends RingParsers[T]

Attributes

Supertypes
trait RingParsers[T]
trait StructureParsers[T]
class Object
trait Matchable
class Any
Known subtypes
trait Impl
class BAParsers
object ComplexParsers extends FieldParsers[Complex]

Attributes

Supertypes
trait FieldParsers[Complex]
trait UFDParsers[Complex]
trait RingParsers[Complex]
trait StructureParsers[Complex]
class Object
trait Matchable
class Any
Show all
Self type
object DoubleParsers extends FieldParsers[Double]

Attributes

Supertypes
class Object
trait Matchable
class Any
Show all
Self type
class Engine(val factory: ScriptEngineFactory) extends AbstractScriptEngine

Attributes

Companion
object
Supertypes
class AbstractScriptEngine
trait ScriptEngine
class Object
trait Matchable
class Any
object Engine

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Engine.type
object FS extends Factors[BigInteger, Int]

Attributes

Supertypes
trait Factors[BigInteger, Int]
trait Ring[Map[BigInteger, Int]]
trait Monoid[Map[BigInteger, Int]]
trait SemiGroup[Map[BigInteger, Int]]
trait AbelianGroup[Map[BigInteger, Int]]
trait Structure[Map[BigInteger, Int]]
trait Show[Map[BigInteger, Int]]
trait Equiv[Map[BigInteger, Int]]
trait Equiv[Map[BigInteger, Int]]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
FS.type
object FactorParsers extends RingParsers[FS]

Attributes

Supertypes
trait RingParsers[FS]
class Object
trait Matchable
class Any
Self type
trait Factors[T, N] extends Ring[Map[T, N]]

Attributes

Companion
object
Supertypes
trait Ring[Map[T, N]]
trait Monoid[Map[T, N]]
trait SemiGroup[Map[T, N]]
trait AbelianGroup[Map[T, N]]
trait Structure[Map[T, N]]
trait Show[Map[T, N]]
trait Equiv[Map[T, N]]
trait Equiv[Map[T, N]]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
object FS
trait Impl
class NormalForm
object Factors

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Factors.type
trait FieldParsers[T] extends UFDParsers[T]

Attributes

Supertypes
trait UFDParsers[T]
trait RingParsers[T]
trait StructureParsers[T]
class Object
trait Matchable
class Any
Show all
Known subtypes
object DoubleParsers
class Fn
class RFParsers
class Fn(var n: Variable*) extends FieldParsers[Double => Double]

Attributes

Supertypes
trait FieldParsers[Double => Double]
trait UFDParsers[Double => Double]
trait RingParsers[Double => Double]
trait StructureParsers[Double => Double]
class Object
trait Matchable
class Any
Show all
object Function extends Field[Double => Double]

Attributes

Supertypes
trait Field[Double => Double]
trait EuclidianDomain[Double => Double]
trait UniqueFactorizationDomain[Double => Double]
trait Field[Double => Double]
trait NotQuiteGroup[Double => Double]
trait NotQuiteField[Double => Double]
trait Ring[Double => Double]
trait Monoid[Double => Double]
trait SemiGroup[Double => Double]
trait AbelianGroup[Double => Double]
trait Structure[Double => Double]
trait Show[Double => Double]
trait Equiv[Double => Double]
trait Equiv[Double => Double]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Function.type
object Int extends OrderedRingParsers[BigInteger]

Attributes

Supertypes
trait OrderedRingParsers[BigInteger]
trait OrderingParsers[BigInteger]
trait RingParsers[BigInteger]
trait StructureParsers[BigInteger]
class Object
trait Matchable
class Any
Show all
Self type
Int.type
class NormalForm(conj: Boolean)(using x$2: BooleanAlgebra) extends Impl

Attributes

Companion
object
Supertypes
trait Impl
trait Factors[BA, Int]
trait Ring[Map[BA, Int]]
trait Monoid[Map[BA, Int]]
trait SemiGroup[Map[BA, Int]]
trait AbelianGroup[Map[BA, Int]]
trait Structure[Map[BA, Int]]
trait Show[Map[BA, Int]]
trait Equiv[Map[BA, Int]]
trait Equiv[Map[BA, Int]]
trait Serializable
class Object
trait Matchable
class Any
Show all
object NormalForm

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NormalForm.type
trait OrderedFieldParsers[T] extends UFDParsers[T], OrderedUFDParsers[T]

Attributes

Supertypes
trait OrderingParsers[T]
trait UFDParsers[T]
trait RingParsers[T]
trait StructureParsers[T]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait OrderedRingParsers[T] extends RingParsers[T], OrderingParsers[T]

Attributes

Supertypes
trait OrderingParsers[T]
trait RingParsers[T]
trait StructureParsers[T]
class Object
trait Matchable
class Any
Show all
Known subtypes
object Int
trait OrderedUFDParsers[T] extends UFDParsers[T], OrderedRingParsers[T]

Attributes

Supertypes
trait OrderingParsers[T]
trait UFDParsers[T]
trait RingParsers[T]
trait StructureParsers[T]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait OrderingParsers[T] extends StructureParsers[T]

Attributes

Supertypes
trait StructureParsers[T]
class Object
trait Matchable
class Any
Known subtypes
object Int
object Parsers extends RegexParsers

Attributes

Supertypes
trait RegexParsers
trait Parsers
class Object
trait Matchable
class Any
Self type
Parsers.type
object Poly

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Poly.type
class PolyParsers(using x$1: PolynomialOverUFD[Poly, BigInteger, Array[Int]]) extends UFDParsers[Poly]

Attributes

Supertypes
trait UFDParsers[Poly]
trait RingParsers[Poly]
class Object
trait Matchable
class Any
Show all
class RFParsers(using x$1: RationalFunction) extends FieldParsers[RF]

Attributes

Supertypes
trait FieldParsers[RF]
trait UFDParsers[RF]
trait RingParsers[RF]
class Object
trait Matchable
class Any
Show all
object RationalParsers extends OrderedFieldParsers[Rational]

Attributes

Supertypes
trait OrderedFieldParsers[Rational]
trait OrderedUFDParsers[Rational]
trait OrderedRingParsers[Rational]
trait OrderingParsers[Rational]
trait UFDParsers[Rational]
trait RingParsers[Rational]
trait StructureParsers[Rational]
class Object
trait Matchable
class Any
Show all
Self type
trait RingParsers[T] extends StructureParsers[T]

Attributes

Supertypes
trait StructureParsers[T]
class Object
trait Matchable
class Any
Known subtypes
trait Impl
class BAParsers
object FactorParsers
object Int
trait UFDParsers[T]
trait FieldParsers[T]
object DoubleParsers
class Fn
class RFParsers
class PolyParsers
Show all
trait StructureParsers[T]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait OrderingParsers[T]
object Int
trait RingParsers[T]
trait Impl
class BAParsers
object FactorParsers
trait UFDParsers[T]
trait FieldParsers[T]
object DoubleParsers
class Fn
class RFParsers
class PolyParsers
Show all
trait UFDParsers[T] extends RingParsers[T]

Attributes

Supertypes
trait RingParsers[T]
trait StructureParsers[T]
class Object
trait Matchable
class Any
Known subtypes
trait FieldParsers[T]
object DoubleParsers
class Fn
class RFParsers
class PolyParsers
Show all
object Var

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Var.type

Types

type BA = Element[Boolean, Array[Int]]
type FS = Map[BigInteger, Int]
type Poly = Element[BigInteger, Array[Int]]
type RF = Element[Poly]
Generated with