root
API
Generated with
root/scas/scas.base/ModInteger

ModInteger

scas.base.ModInteger
See theModInteger companion object
class ModInteger(mod: BigInteger) extends Residue[Int, BigInteger], Field[Int]

Attributes

Companion
object
Graph
Supertypes
trait Field[Int]
trait EuclidianDomain[Int]
trait Field[Int]
trait EuclidianDomain[Int]
trait Field[Int]
trait NotQuiteGroup[Int]
trait Residue[Int, BigInteger]
trait Ring[Int]
trait Monoid[Int]
trait AbelianGroup[Int]
trait Structure[Int]
trait Ordering[Int]
trait PartialOrdering[Int]
trait Ordering[Int]
trait PartialOrdering[Int]
trait Comparator[Int]
trait Residue[Int, BigInteger]
trait NotQuiteField[Int]
trait Ring[Int]
trait Monoid[Int]
trait SemiGroup[Int]
trait AbelianGroup[Int]
trait Structure[Int]
trait Show[Int]
trait Equiv[Int]
trait Equiv[Int]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
class Conv

Members list

Type members

Inherited classlikes

class OrderingOps(lhs: Ordering.this.T)

Attributes

Inherited from:
Ordering
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(x: BigInteger): Int
def apply(x: Long): Int
def fromRing(x: BigInteger): Int
def inverse(x: Int): Int
def same(s: BigInteger*): Unit
def toMathML: String
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
Any
def unapply(x: Int): Option[BigInteger]

Inherited methods

def abs[U : Conversion[Int]](x: U): Int

Attributes

Inherited from:
AbelianGroup
def abs(x: Int): Int

Attributes

Inherited from:
AbelianGroup
def compare(x: Int, y: Int): Int

Attributes

Inherited from:
Residue
override def equiv(x: Int, y: Int): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering -> Equiv
Inherited from:
Ordering
def fenced(s: String): String

Attributes

Inherited from:
Structure
def fromInt[U : Conversion[BigInteger]](x: U): Int

Attributes

Inherited from:
Ring
def fromInt(n: BigInteger): Int

Attributes

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

Attributes

Inherited from:
UniqueFactorizationDomain
override def gcd(x: Int, y: Int): Int

Attributes

Definition Classes
Inherited from:
Field
override def gt(x: Int, y: Int): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
override def gteq(x: Int, y: Int): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def inverse[U : Conversion[Int]](x: U): Int

Attributes

Inherited from:
NotQuiteGroup
def isReverseOf(other: Ordering[_]): Boolean

Attributes

Inherited from:
Ordering
def lcm[U : Conversion[Int], V : Conversion[Int]](x: U, y: V): Int

Attributes

Inherited from:
UniqueFactorizationDomain
def lcm(x: Int, y: Int): Int

Attributes

Inherited from:
UniqueFactorizationDomain
override def lt(x: Int, y: Int): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
override def lteq(x: Int, y: Int): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def max[U <: Int](x: U, y: U): U

Attributes

Inherited from:
Ordering
def min[U <: Int](x: U, y: U): U

Attributes

Inherited from:
Ordering
def on[U](f: U => Int): Ordering[U]

Attributes

Inherited from:
Ordering
def orElse(other: Ordering[Int]): Ordering[Int]

Attributes

Inherited from:
Ordering
def orElseBy[S](f: Int => S)(implicit ord: Ordering[S]): Ordering[Int]

Attributes

Inherited from:
Ordering
def random(numbits: Int)(using rnd: Random): Int

Attributes

Inherited from:
Structure
override def reverse: Ordering[Int]

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def reversed(): Comparator[Int]

Attributes

Inherited from:
Comparator
def thenComparing[U <: Comparable[_ >: U <: <FromJavaObject>]](x$0: Function[_ >: Int <: <FromJavaObject>, _ <: U]): Comparator[Int]

Attributes

Inherited from:
Comparator
def thenComparing[U <: <FromJavaObject>](x$0: Function[_ >: Int <: <FromJavaObject>, _ <: U], x$1: Comparator[_ >: U <: <FromJavaObject>]): Comparator[Int]

Attributes

Inherited from:
Comparator
def thenComparing(x$0: Comparator[_ >: Int <: <FromJavaObject>]): Comparator[Int]

Attributes

Inherited from:
Comparator
def thenComparingDouble(x$0: ToDoubleFunction[_ >: Int <: <FromJavaObject>]): Comparator[Int]

Attributes

Inherited from:
Comparator
def thenComparingInt(x$0: ToIntFunction[_ >: Int <: <FromJavaObject>]): Comparator[Int]

Attributes

Inherited from:
Comparator
def thenComparingLong(x$0: ToLongFunction[_ >: Int <: <FromJavaObject>]): Comparator[Int]

Attributes

Inherited from:
Comparator
def tryCompare(x: Int, y: Int): Some[Int]

Attributes

Inherited from:
Ordering

Concrete fields

val m: Int
override val one: Int
override val zero: Int

Inherited fields

val self: Residue[Int, BigInteger]

Attributes

Inherited from:
Residue

Givens

Givens

override given ring: BigInteger.type

Inherited givens

given bigInt2ring[U : Conversion[BigInteger]]: U => Int

Attributes

Inherited from:
Ring

Extensions

Extensions

extension (a: Int)
override def pow(b: BigInteger): Int

Attributes

Definition Classes
extension (ring: Impl)
extension (x: Int)
override def add(y: Int): Int

Attributes

Definition Classes
override def isZero: Boolean

Attributes

Definition Classes
override def multiply(y: Int): Int

Attributes

Definition Classes
override def signum: Int

Attributes

Definition Classes
override def subtract(y: Int): Int

Attributes

Definition Classes

Inherited extensions

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

Attributes

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

Attributes

Inherited from:
Monoid
extension (ring: UniqueFactorizationDomain[BigInteger])
def apply(s: BigInteger*): Residue[Int, BigInteger]

Attributes

Inherited from:
Residue
extension (x: Int)
override def isUnit: Boolean

Attributes

Definition Classes
Inherited from:
Field
extension (x: Int)
inline def <>[U : Conversion[Int]](y: U): Boolean

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbelianGroup
def unary_-: Int

Attributes

Inherited from:
AbelianGroup
extension (x: Int)
def <[U : Conversion[Int]](y: U): Boolean

Attributes

Inherited from:
PartialOrdering
inline def <=[U : Conversion[Int]](y: U): Boolean

Attributes

Inherited from:
PartialOrdering
def >[U : Conversion[Int]](y: U): Boolean

Attributes

Inherited from:
PartialOrdering
inline def >=[U : Conversion[Int]](y: U): Boolean

Attributes

Inherited from:
PartialOrdering
extension (x: Int)
override def divide(y: Int): Int

Attributes

Definition Classes
Inherited from:
Field
override def divideAndRemainder(y: Int): (Int, Int)

Attributes

Definition Classes
Inherited from:
Field
override def remainder(y: Int): Int

Attributes

Definition Classes
Inherited from:
Field
extension (x: Int)
def show: String

Attributes

Inherited from:
Structure
extension (x: Int)
inline def %[U : Conversion[Int]](y: U): Int

Attributes

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

Attributes

Inherited from:
UniqueFactorizationDomain
def factorOf(y: Int): Boolean

Attributes

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

Attributes

Inherited from:
UniqueFactorizationDomain
extension (x: Int)
def isOne: Boolean

Attributes

Inherited from:
Monoid
extension (x: Int)
def toCode(level: Level): String

Attributes

Inherited from:
Residue
def toMathML: String

Attributes

Inherited from:
Residue

Implicits

Inherited implicits

implicit def mkOrderingOps(lhs: Int): OrderingOps

Attributes

Inherited from:
Ordering

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