schrodinger-math
schrodinger-math
schrodinger.math
Bound
Bound
Closed
Open
Interval
Interval
LogDouble
given_CommutativeSemifield_LogDouble_Monus_LogDouble_Order_LogDouble_Hash_LogDouble
Monus
Monus
UInt128
UInt128
schrodinger.math.syntax
schrodinger-math
/
schrodinger.math.syntax
schrodinger.math.syntax
package
schrodinger.math.syntax
Extensions
Extensions
Extensions
extension
[
A
](A:
Rig
[
A
])
def
fromBigInt
(
n:
BigInt
):
A
def
fromInt
(
n:
Int
):
A
extension
[
A
](x:
A
)
def
*
(
y:
A
)(
using
A:
MultiplicativeSemigroup
[
A
]):
A
def
+
(
y:
A
)(
using
A:
AdditiveSemigroup
[
A
]):
A
def
/
(
y:
A
)(
using
A:
MultiplicativeGroup
[
A
]):
A