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

Impl

scas.scripting.NormalForm.Impl
trait Impl(conj: Boolean) extends Factors[BA, Int]

Attributes

Graph
Supertypes
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
Known subtypes
class NormalForm

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
def empty: Map[BA, Int]
def flip(x: BA): Element[Boolean, Array[Int]]

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
def characteristic: BigInteger

Attributes

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

Inherited givens

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

Attributes

Inherited from:
Ring

Extensions

Extensions

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

Attributes

Definition Classes
Factors -> Structure
override def toMathML: String

Attributes

Definition Classes
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