JLF64SquareMatrix n

jarray64.spad line 538 [edit on github]

• n: NonNegativeInteger

This domain provides a fast JL Float64 square matrix type with no bound checking on elt's. Minimum index is 1.

0: %

from AbelianMonoid

1: %

from MagmaWithUnit

#: % -> NonNegativeInteger

from Aggregate

*: (%, %) -> %

from Magma

*: (%, DirectProduct(n, JLFloat64)) -> DirectProduct(n, JLFloat64)

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

*: (%, Integer) -> % if JLFloat64 has LinearlyExplicitOver Integer

from RightModule Integer

*: (%, JLFloat64) -> %

from RightModule JLFloat64

*: (DirectProduct(n, JLFloat64), %) -> DirectProduct(n, JLFloat64)

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

*: (Integer, %) -> %

from AbelianGroup

*: (JLFloat64, %) -> %

from LeftModule JLFloat64

*: (NonNegativeInteger, %) -> %

from AbelianMonoid

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

-: % -> %

from AbelianGroup

-: (%, %) -> %

from AbelianGroup

/: (%, JLFloat64) -> %

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

=: (%, %) -> Boolean

from BasicType

^: (%, Integer) -> %

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

^: (%, NonNegativeInteger) -> %

from MagmaWithUnit

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

annihilate?: (%, %) -> Boolean

from Rng

antiCommutator: (%, %) -> %

from NonAssociativeSemiRng

antisymmetric?: % -> Boolean

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

any?: (JLFloat64 -> Boolean, %) -> Boolean

from HomogeneousAggregate JLFloat64

associator: (%, %, %) -> %

from NonAssociativeRng

characteristic: () -> NonNegativeInteger

from NonAssociativeRing

coerce: % -> JLFloat64Matrix

from CoercibleTo JLFloat64Matrix

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Fraction Integer -> %

from CoercibleFrom Fraction Integer

coerce: Integer -> %

from NonAssociativeRing

coerce: JLFloat64 -> %

from CoercibleFrom JLFloat64

column: (%, Integer) -> DirectProduct(n, JLFloat64)

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

columnSpace: % -> List DirectProduct(n, JLFloat64)

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

commutator: (%, %) -> %

from NonAssociativeRng

convert: % -> InputForm if JLFloat64 has Finite

from ConvertibleTo InputForm

convert: % -> String

from ConvertibleTo String

copy: % -> %

from Aggregate

count: (JLFloat64 -> Boolean, %) -> NonNegativeInteger

from HomogeneousAggregate JLFloat64

count: (JLFloat64, %) -> NonNegativeInteger

from HomogeneousAggregate JLFloat64

D: % -> %

from DifferentialRing

D: (%, JLFloat64 -> JLFloat64) -> %

from DifferentialExtension JLFloat64

D: (%, JLFloat64 -> JLFloat64, NonNegativeInteger) -> %

from DifferentialExtension JLFloat64

D: (%, List Symbol) -> % if JLFloat64 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

D: (%, List Symbol, List NonNegativeInteger) -> % if JLFloat64 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

D: (%, NonNegativeInteger) -> %

from DifferentialRing

D: (%, Symbol) -> % if JLFloat64 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

D: (%, Symbol, NonNegativeInteger) -> % if JLFloat64 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

determinant: % -> JLFloat64

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

diagonal?: % -> Boolean

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

diagonal: % -> DirectProduct(n, JLFloat64)

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

diagonalMatrix: List JLFloat64 -> %

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

diagonalProduct: % -> JLFloat64

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

differentiate: % -> %

from DifferentialRing

differentiate: (%, JLFloat64 -> JLFloat64) -> %

from DifferentialExtension JLFloat64

differentiate: (%, JLFloat64 -> JLFloat64, NonNegativeInteger) -> %

from DifferentialExtension JLFloat64

differentiate: (%, List Symbol) -> % if JLFloat64 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

differentiate: (%, List Symbol, List NonNegativeInteger) -> % if JLFloat64 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

differentiate: (%, NonNegativeInteger) -> %

from DifferentialRing

differentiate: (%, Symbol) -> % if JLFloat64 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

differentiate: (%, Symbol, NonNegativeInteger) -> % if JLFloat64 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

elt: (%, Integer, Integer) -> JLFloat64

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

elt: (%, Integer, Integer, JLFloat64) -> JLFloat64

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

empty?: % -> Boolean

from Aggregate

empty: () -> %

from Aggregate

enumerate: () -> List % if JLFloat64 has Finite

from Finite

eq?: (%, %) -> Boolean

from Aggregate

eval: (%, Equation JLFloat64) -> % if JLFloat64 has Evalable JLFloat64

from Evalable JLFloat64

eval: (%, JLFloat64, JLFloat64) -> % if JLFloat64 has Evalable JLFloat64

from InnerEvalable(JLFloat64, JLFloat64)

eval: (%, List Equation JLFloat64) -> % if JLFloat64 has Evalable JLFloat64

from Evalable JLFloat64

eval: (%, List JLFloat64, List JLFloat64) -> % if JLFloat64 has Evalable JLFloat64

from InnerEvalable(JLFloat64, JLFloat64)

every?: (JLFloat64 -> Boolean, %) -> Boolean

from HomogeneousAggregate JLFloat64

exquo: (%, JLFloat64) -> Union(%, failed)

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

hash: % -> SingleInteger if JLFloat64 has Finite

from Hashable

hashUpdate!: (HashState, %) -> HashState if JLFloat64 has Finite

from Hashable

index: PositiveInteger -> % if JLFloat64 has Finite

from Finite

inverse: % -> Union(%, failed)

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

latex: % -> String

from SetCategory

leftPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

leftPower: (%, PositiveInteger) -> %

from Magma

leftRecip: % -> Union(%, failed)

from MagmaWithUnit

less?: (%, NonNegativeInteger) -> Boolean

from Aggregate

listOfLists: % -> List List JLFloat64

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

lookup: % -> PositiveInteger if JLFloat64 has Finite

from Finite

map: ((JLFloat64, JLFloat64) -> JLFloat64, %, %) -> %

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

map: (JLFloat64 -> JLFloat64, %) -> %

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

matrix: List List JLFloat64 -> %

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

max: % -> JLFloat64

from HomogeneousAggregate JLFloat64

max: ((JLFloat64, JLFloat64) -> Boolean, %) -> JLFloat64

from HomogeneousAggregate JLFloat64

maxColIndex: % -> Integer

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

maxRowIndex: % -> Integer

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

member?: (JLFloat64, %) -> Boolean

from HomogeneousAggregate JLFloat64

members: % -> List JLFloat64

from HomogeneousAggregate JLFloat64

min: % -> JLFloat64

from HomogeneousAggregate JLFloat64

minColIndex: % -> Integer

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

minordet: % -> JLFloat64

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

minRowIndex: % -> Integer

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

more?: (%, NonNegativeInteger) -> Boolean

from Aggregate

ncols: % -> NonNegativeInteger

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

nrows: % -> NonNegativeInteger

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

nullity: % -> NonNegativeInteger

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

nullSpace: % -> List DirectProduct(n, JLFloat64)

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

one?: % -> Boolean

from MagmaWithUnit

opposite?: (%, %) -> Boolean

from AbelianMonoid

parts: % -> List JLFloat64

from HomogeneousAggregate JLFloat64

Pfaffian: % -> JLFloat64

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

plenaryPower: (%, PositiveInteger) -> %

from NonAssociativeAlgebra JLFloat64

qcoerce: JLFloat64Matrix -> %

qcoerce(m) coerces m to JLF64SquareMatrix trusting that m is square.

qelt: (%, Integer, Integer) -> JLFloat64

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

random: () -> % if JLFloat64 has Finite

from Finite

rank: % -> NonNegativeInteger

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

recip: % -> Union(%, failed)

from MagmaWithUnit

reducedSystem: (Matrix %, Vector %) -> Record(mat: Matrix Integer, vec: Vector Integer) if JLFloat64 has LinearlyExplicitOver Integer

from LinearlyExplicitOver Integer

reducedSystem: (Matrix %, Vector %) -> Record(mat: Matrix JLFloat64, vec: Vector JLFloat64)

from LinearlyExplicitOver JLFloat64

reducedSystem: Matrix % -> Matrix Integer if JLFloat64 has LinearlyExplicitOver Integer

from LinearlyExplicitOver Integer

reducedSystem: Matrix % -> Matrix JLFloat64

from LinearlyExplicitOver JLFloat64

retract: % -> Fraction Integer

from RetractableTo Fraction Integer

retract: % -> Integer

from RetractableTo Integer

retract: % -> JLFloat64

from RetractableTo JLFloat64

retractIfCan: % -> Union(Fraction Integer, failed)

from RetractableTo Fraction Integer

retractIfCan: % -> Union(Integer, failed)

from RetractableTo Integer

retractIfCan: % -> Union(JLFloat64, failed)

from RetractableTo JLFloat64

rightPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower: (%, PositiveInteger) -> %

from Magma

rightRecip: % -> Union(%, failed)

from MagmaWithUnit

row: (%, Integer) -> DirectProduct(n, JLFloat64)

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

rowEchelon: % -> %

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

sample: %

from AbelianMonoid

scalarMatrix: JLFloat64 -> %

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

size?: (%, NonNegativeInteger) -> Boolean

from Aggregate

size: () -> NonNegativeInteger if JLFloat64 has Finite

from Finite

smaller?: (%, %) -> Boolean if JLFloat64 has Finite

from Comparable

square?: % -> Boolean

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

squareMatrix: JLFloat64Matrix -> %

squareMatrix(m) returns a copy of m as a JLF64SquareMatrix.

string: % -> String

from JLType

subtractIfCan: (%, %) -> Union(%, failed)

from CancellationAbelianMonoid

symmetric?: % -> Boolean

from RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

trace: % -> JLFloat64

from SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

zero?: % -> Boolean

from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianSemiGroup

Aggregate

Algebra JLFloat64

BasicType

BiModule(%, %)

BiModule(JLFloat64, JLFloat64)

CancellationAbelianMonoid

CoercibleFrom Fraction Integer

CoercibleFrom Integer

CoercibleFrom JLFloat64

CoercibleTo JLFloat64Matrix

CoercibleTo OutputForm

Comparable if JLFloat64 has Finite

ConvertibleTo InputForm if JLFloat64 has Finite

ConvertibleTo String

DifferentialExtension JLFloat64

DifferentialRing

Evalable JLFloat64 if JLFloat64 has Evalable JLFloat64

Finite if JLFloat64 has Finite

finiteAggregate

FullyLinearlyExplicitOver JLFloat64

FullyRetractableTo JLFloat64

Hashable if JLFloat64 has Finite

HomogeneousAggregate JLFloat64

InnerEvalable(JLFloat64, JLFloat64) if JLFloat64 has Evalable JLFloat64

JLType

LeftModule %

LeftModule JLFloat64

LinearlyExplicitOver Integer if JLFloat64 has LinearlyExplicitOver Integer

LinearlyExplicitOver JLFloat64

Magma

MagmaWithUnit

Module JLFloat64

Monoid

NonAssociativeAlgebra JLFloat64

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

PartialDifferentialRing Symbol if JLFloat64 has PartialDifferentialRing Symbol

RectangularMatrixCategory(n, n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

RetractableTo Fraction Integer

RetractableTo Integer

RetractableTo JLFloat64

RightModule %

RightModule Integer if JLFloat64 has LinearlyExplicitOver Integer

RightModule JLFloat64

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

SquareMatrixCategory(n, JLFloat64, DirectProduct(n, JLFloat64), DirectProduct(n, JLFloat64))

TwoSidedRecip

unitsKnown