root
API
Generated with
root/scas/scas.scripting/BooleanAlgebra

BooleanAlgebra

scas.scripting.BooleanAlgebra
See theBooleanAlgebra companion object
class BooleanAlgebra(on: Boolean, recurse: Boolean, conj: Boolean, s: Variable*) extends WithNot

Attributes

Companion
object
Graph
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

Members list

Value members

Constructors

def this(conj: Boolean, s: Variable*)
def this(s: Variable*)

Concrete methods

override def extend(variables: Variable*): Unit

Attributes

Definition Classes
Impl -> Residue

Inherited methods

def abs[U : Conversion[Element[Boolean, Array[Int]]]](x: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
AbelianGroup
def abs(x: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
AbelianGroup
def apply(x: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
def apply(x: Boolean): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
def characteristic: BigInteger

Attributes

Inherited from:
Residue
def equiv(x: Element[Boolean, Array[Int]], y: Element[Boolean, Array[Int]]): Boolean

Attributes

Inherited from:
Residue
def fenced(s: String): String

Attributes

Inherited from:
Structure
def fromInt[U : Conversion[BigInteger]](x: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Ring
def fromInt(n: BigInteger): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
def fromRing(x: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
def gb(xs: Element[Boolean, Array[Int]]*): List[Element[Boolean, Array[Int]]]

Attributes

Inherited from:
Residue
def gb(dummy: Boolean, xs: Element[Boolean, Array[Int]]*): List[Element[Boolean, Array[Int]]]

Attributes

Inherited from:
Residue
def gcd(x: Element[Boolean, Array[Int]], y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
def gcd[U : Conversion[Element[Boolean, Array[Int]]], V : Conversion[Element[Boolean, Array[Int]]]](x: U, y: V): Element[Boolean, Array[Int]]

Attributes

Inherited from:
UniqueFactorizationDomain
def generator(n: Int): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
def generators: List[Element[Boolean, Array[Int]]]

Attributes

Inherited from:
Residue
def lcm[U : Conversion[Element[Boolean, Array[Int]]], V : Conversion[Element[Boolean, Array[Int]]]](x: U, y: V): Element[Boolean, Array[Int]]

Attributes

Inherited from:
UniqueFactorizationDomain
def lcm(x: Element[Boolean, Array[Int]], y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
UniqueFactorizationDomain
def one: Element[Boolean, Array[Int]]

Attributes

Inherited from:
Ring
def random(numbits: Int)(using rnd: Random): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Structure
def same(s: Element[Boolean, Array[Int]]*): Unit

Attributes

Inherited from:
Residue
def toMathML: String

Attributes

Inherited from:
Residue
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Residue -> Any
Inherited from:
Residue
def unapply(x: Element[Boolean, Array[Int]]): Option[Element[Boolean, Array[Int]]]

Attributes

Inherited from:
Residue
def update(s: Element[Boolean, Array[Int]]*): Unit

Attributes

Inherited from:
Residue
def zero: Element[Boolean, Array[Int]]

Attributes

Inherited from:
Ring

Inherited fields

var mods: List[Element[Boolean, Array[Int]]]

Attributes

Inherited from:
Residue
val self: Residue[Element[Boolean, Array[Int]], Element[Boolean, Array[Int]]]

Attributes

Inherited from:
Residue

Givens

Givens

given a: BooleanAlgebra
given nf: NormalForm

Inherited givens

given bigInt2ring[U : Conversion[BigInteger]]: U => Element[Boolean, Array[Int]]

Attributes

Inherited from:
Ring
given coef2poly[D : Conversion[Boolean]]: D => Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
override given ring: PolynomialWithGB[Element[Boolean, Array[Int]], Boolean, Int]

Attributes

Inherited from:
BooleanAlgebra

Extensions

Extensions

extension (x: BA)
override def toCode(level: Level): String

Attributes

Definition Classes
WithNot -> Impl -> Residue -> Structure
override def toMathML: String

Attributes

Definition Classes
WithNot -> Impl -> Residue -> Show

Inherited extensions

extension (a: Element[Boolean, Array[Int]])
def \[U : Conversion[BigInteger]](b: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Monoid
def \:[U : Conversion[BigInteger]](b: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Monoid
def pow(b: BigInteger): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Monoid
extension (ring: PolynomialWithGB[Element[Boolean, Array[Int]], Boolean, Int])
def apply(s: Element[Boolean, Array[Int]]*): Residue[Element[Boolean, Array[Int]], Boolean, Int]

Attributes

Inherited from:
Residue
extension (ring: PolynomialWithGB[Element[Boolean, Array[Int]], Boolean, Int])
def apply(s: Element[Boolean, Array[Int]]*): Residue[Element[Boolean, Array[Int]], Boolean, Int]

Attributes

Inherited from:
Residue
extension (ring: UniqueFactorizationDomain[Element[Boolean, Array[Int]]])
def apply(s: Element[Boolean, Array[Int]]*): Residue[Element[Boolean, Array[Int]], Element[Boolean, Array[Int]]]

Attributes

Inherited from:
Residue
extension (x: Element[Boolean, Array[Int]])
inline def &&[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
inline def >>[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
inline def ^[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
def and(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
def implies(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
def or(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
def unary_!: Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
def xor(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
inline def ||[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
BooleanRing
extension (x: Element[Boolean, Array[Int]])
inline def <>[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Boolean

Attributes

Inherited from:
Equiv
inline def ><[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Boolean

Attributes

Inherited from:
Equiv
extension (x: Element[Boolean, Array[Int]])
inline def /[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
NotQuiteField
extension (x: Element[Boolean, Array[Int]])
inline def *[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
SemiGroup
extension (x: Element[Boolean, Array[Int]])
inline def +[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
AbelianGroup
inline def -[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
AbelianGroup
def isZero: Boolean

Attributes

Inherited from:
AbelianGroup
def unary_-: Element[Boolean, Array[Int]]

Attributes

Inherited from:
AbelianGroup
extension (x: Element[Boolean, Array[Int]])
def show: String

Attributes

Inherited from:
Structure
extension (x: Element[Boolean, Array[Int]])
def add(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
override def divide(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Definition Classes
Residue -> UniqueFactorizationDomain -> NotQuiteField
Inherited from:
Residue
def divideAndRemainder(y: Element[Boolean, Array[Int]]): (Element[Boolean, Array[Int]], Element[Boolean, Array[Int]])

Attributes

Inherited from:
Residue
def isUnit: Boolean

Attributes

Inherited from:
Residue
def multiply(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
override def remainder(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Definition Classes
Residue -> UniqueFactorizationDomain
Inherited from:
Residue
def signum: Int

Attributes

Inherited from:
Residue
def subtract(y: Element[Boolean, Array[Int]]): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Residue
extension (x: Element[Boolean, Array[Int]])
inline def %[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Element[Boolean, Array[Int]]

Attributes

Inherited from:
UniqueFactorizationDomain
inline def /%[U : Conversion[Element[Boolean, Array[Int]]]](y: U): (Element[Boolean, Array[Int]], Element[Boolean, Array[Int]])

Attributes

Inherited from:
UniqueFactorizationDomain
def factorOf(y: Element[Boolean, Array[Int]]): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
inline def |[U : Conversion[Element[Boolean, Array[Int]]]](y: U): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
extension (x: Element[Boolean, Array[Int]])
def isOne: Boolean

Attributes

Inherited from:
Monoid
extension (x: BA)
def isNot: Boolean

Attributes

Inherited from:
WithNot

Exports

Inherited defined exports

final val Level: Level
Exported from prettyprint

Attributes

Inherited from:
Structure
final type Level = Level
Exported from prettyprint

Attributes

Inherited from:
Structure
Generated with