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

Conv

scas.base.ModInteger.Conv
class Conv(mod: BigInteger) extends ModInteger, Conv[Int]

Attributes

Graph
Supertypes
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
trait Conv[Int]
class ModInteger
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

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

Inherited methods

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

Attributes

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

Attributes

Inherited from:
AbelianGroup
def apply(x: Long): Int

Attributes

Inherited from:
ModInteger
def apply(x: BigInteger): Int

Attributes

Inherited from:
ModInteger
def characteristic: BigInteger

Attributes

Inherited from:
ModInteger
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 fromRing(x: BigInteger): Int

Attributes

Inherited from:
ModInteger
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 inverse(x: Int): Int

Attributes

Inherited from:
ModInteger
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 same(s: BigInteger*): Unit

Attributes

Inherited from:
ModInteger
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 toMathML: String

Attributes

Inherited from:
ModInteger
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
ModInteger -> Any
Inherited from:
ModInteger
def tryCompare(x: Int, y: Int): Some[Int]

Attributes

Inherited from:
Ordering
def unapply(x: Int): Option[BigInteger]

Attributes

Inherited from:
ModInteger

Inherited fields

val m: Int

Attributes

Inherited from:
ModInteger
override val one: Int

Attributes

Inherited from:
ModInteger
val self: Residue[Int, BigInteger]

Attributes

Inherited from:
Residue
override val zero: Int

Attributes

Inherited from:
ModInteger

Givens

Givens

given instance: Conv

Inherited givens

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

Attributes

Inherited from:
Ring
override given ring: BigInteger.type

Attributes

Inherited from:
ModInteger

Extensions

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 [U : Conversion[Int]](a: U)
def \[V : Conversion[BigInteger]](b: V): Int

Attributes

Inherited from:
Conv
extension [U : Conversion[Int], V : Conversion[BigInteger]](a: U)
def \:(b: V): Int

Attributes

Inherited from:
Conv
extension (a: Int)
override def pow(b: BigInteger): Int

Attributes

Definition Classes
Inherited from:
ModInteger
extension (ring: Impl)
def apply(s: BigInteger*): ModInteger

Attributes

Inherited from:
ModInteger
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 [U : Conversion[Int]](x: U)
inline def <>[V : Conversion[Int]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def ><[V : Conversion[Int]](y: V): Boolean

Attributes

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

Attributes

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

Attributes

Inherited from:
Conv
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 [U : Conversion[Int]](x: U)
inline def <[V : Conversion[Int]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def <=[V : Conversion[Int]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def >[V : Conversion[Int]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def >=[V : Conversion[Int]](y: V): Boolean

Attributes

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

Attributes

Inherited from:
Monoid
extension (x: Int)
override def add(y: Int): Int

Attributes

Definition Classes
Inherited from:
ModInteger
override def isZero: Boolean

Attributes

Definition Classes
Inherited from:
ModInteger
override def multiply(y: Int): Int

Attributes

Definition Classes
Inherited from:
ModInteger
override def signum: Int

Attributes

Definition Classes
Inherited from:
ModInteger
override def subtract(y: Int): Int

Attributes

Definition Classes
Inherited from:
ModInteger
extension [U : Conversion[Int]](x: U)
inline def +[V : Conversion[Int]](y: V): Int

Attributes

Inherited from:
Conv
inline def -[V : Conversion[Int]](y: V): Int

Attributes

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

Attributes

Inherited from:
Conv
inline def /%[V : Conversion[Int]](y: V): (Int, Int)

Attributes

Inherited from:
Conv
inline def |[V : Conversion[Int]](y: V): Boolean

Attributes

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