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

NormalForm

scas.scripting.NormalForm
See theNormalForm companion object
class NormalForm(conj: Boolean)(using x$2: BooleanAlgebra) extends Impl

Attributes

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

Members list

Value members

Inherited methods

def abs[U : Conversion[Map[BA, Int]]](x: U): Map[BA, Int]

Attributes

Inherited from:
AbelianGroup
def abs(x: Map[BA, Int]): Map[BA, Int]

Attributes

Inherited from:
AbelianGroup
override def apply(x: BA): Map[BA, Int]

Attributes

Definition Classes
Inherited from:
Impl
def characteristic: BigInteger

Attributes

Inherited from:
Factors
def empty: Map[BA, Int]

Attributes

Inherited from:
Impl
def equiv(x: Map[BA, Int], y: Map[BA, Int]): Boolean

Attributes

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

Attributes

Inherited from:
Structure
def flip(x: BA): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Impl
def fromInt(n: BigInteger): Map[BA, Int]

Attributes

Inherited from:
Factors
def fromInt[U : Conversion[BigInteger]](x: U): Map[BA, Int]

Attributes

Inherited from:
Ring
def random(numbits: Int)(using rnd: Random): Map[BA, Int]

Attributes

Inherited from:
Structure
def toMathML: String

Attributes

Inherited from:
Factors
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
Factors -> Any
Inherited from:
Factors

Inherited fields

override val one: Map[BA, Int]

Attributes

Inherited from:
Factors
override val zero: Map[BA, Int]

Attributes

Inherited from:
Factors

Givens

Givens

override given ring: BooleanAlgebra

Inherited givens

given bigInt2ring[U : Conversion[BigInteger]]: U => Map[BA, Int]

Attributes

Inherited from:
Ring

Extensions

Extensions

extension (x: Map[BA, Int])
def isImpl: Boolean
def isRevImpl: Boolean
override def toCode(level: Level): String

Attributes

Definition Classes
Impl -> Factors -> Structure
override def toMathML: String

Attributes

Definition Classes
Impl -> Factors -> Show

Inherited extensions

extension (a: Map[BA, Int])
def \[U : Conversion[BigInteger]](b: U): Map[BA, Int]

Attributes

Inherited from:
Monoid
def \:[U : Conversion[BigInteger]](b: U): Map[BA, Int]

Attributes

Inherited from:
Monoid
def pow(b: BigInteger): Map[BA, Int]

Attributes

Inherited from:
Monoid
extension (x: Map[BA, Int])
inline def <>[U : Conversion[Map[BA, Int]]](y: U): Boolean

Attributes

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

Attributes

Inherited from:
Equiv
extension (x: Map[BA, Int])
inline def *[U : Conversion[Map[BA, Int]]](y: U): Map[BA, Int]

Attributes

Inherited from:
SemiGroup
extension (x: Map[BA, Int])
inline def +[U : Conversion[Map[BA, Int]]](y: U): Map[BA, Int]

Attributes

Inherited from:
AbelianGroup
inline def -[U : Conversion[Map[BA, Int]]](y: U): Map[BA, Int]

Attributes

Inherited from:
AbelianGroup
extension (x: Map[BA, Int])
def show: String

Attributes

Inherited from:
Structure
extension (x: Map[BA, Int])
def add(y: Map[BA, Int]): Map[BA, Int]

Attributes

Inherited from:
Factors
def expand: BA

Attributes

Inherited from:
Factors
override def isOne: Boolean

Attributes

Definition Classes
Factors -> Monoid
Inherited from:
Factors
def isUnit: Boolean

Attributes

Inherited from:
Factors
override def isZero: Boolean

Attributes

Definition Classes
Factors -> AbelianGroup
Inherited from:
Factors
def multiply(y: Map[BA, Int]): Map[BA, Int]

Attributes

Inherited from:
Factors
def signum: Int

Attributes

Inherited from:
Factors
def subtract(y: Map[BA, Int]): Map[BA, Int]

Attributes

Inherited from:
Factors
override def unary_-: Map[BA, Int]

Attributes

Definition Classes
Factors -> AbelianGroup
Inherited from:
Factors

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