JLComplexF32SquareMatrix nΒΆ

jarray32.spad line 880 [edit on github]

This domain provides a fast JL Float32 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, JLComplexF32)) -> DirectProduct(n, JLComplexF32)

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

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

from RightModule Integer

*: (%, JLComplexF32) -> %

from RightModule JLComplexF32

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

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

*: (Integer, %) -> %

from AbelianGroup

*: (JLComplexF32, %) -> %

from LeftModule JLComplexF32

*: (NonNegativeInteger, %) -> %

from AbelianMonoid

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

-: % -> %

from AbelianGroup

-: (%, %) -> %

from AbelianGroup

/: (%, JLComplexF32) -> %

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

=: (%, %) -> Boolean

from BasicType

^: (%, Integer) -> %

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

^: (%, NonNegativeInteger) -> %

from MagmaWithUnit

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

annihilate?: (%, %) -> Boolean

from Rng

antiCommutator: (%, %) -> %

from NonAssociativeSemiRng

antisymmetric?: % -> Boolean

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

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

from HomogeneousAggregate JLComplexF32

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

from NonAssociativeRng

characteristic: () -> NonNegativeInteger

from NonAssociativeRing

coerce: % -> JLComplexF32Matrix

coerce(m) coerces m to JLComplexF32Matrix

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Fraction Integer -> %

from CoercibleFrom Fraction Integer

coerce: Integer -> %

from CoercibleFrom Integer

coerce: JLComplexF32 -> %

from CoercibleFrom JLComplexF32

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

commutator: (%, %) -> %

from NonAssociativeRng

convert: % -> InputForm if JLComplexF32 has Finite

from ConvertibleTo InputForm

convert: % -> String

from ConvertibleTo String

copy: % -> %

from Aggregate

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

from HomogeneousAggregate JLComplexF32

count: (JLComplexF32, %) -> NonNegativeInteger

from HomogeneousAggregate JLComplexF32

D: % -> %

from DifferentialRing

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

from DifferentialExtension JLComplexF32

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

from DifferentialExtension JLComplexF32

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

D: (%, NonNegativeInteger) -> %

from DifferentialRing

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

determinant: % -> JLComplexF32

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

diagonal?: % -> Boolean

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

diagonal: % -> DirectProduct(n, JLComplexF32)

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

diagonalMatrix: List JLComplexF32 -> %

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

diagonalProduct: % -> JLComplexF32

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

differentiate: % -> %

from DifferentialRing

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

from DifferentialExtension JLComplexF32

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

from DifferentialExtension JLComplexF32

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

differentiate: (%, NonNegativeInteger) -> %

from DifferentialRing

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

empty?: % -> Boolean

from Aggregate

empty: () -> %

from Aggregate

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

from Finite

eq?: (%, %) -> Boolean

from Aggregate

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

from Evalable JLComplexF32

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

from InnerEvalable(JLComplexF32, JLComplexF32)

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

from Evalable JLComplexF32

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

from InnerEvalable(JLComplexF32, JLComplexF32)

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

from HomogeneousAggregate JLComplexF32

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

hash: % -> SingleInteger if JLComplexF32 has Finite

from Hashable

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

from Hashable

index: PositiveInteger -> % if JLComplexF32 has Finite

from Finite

inverse: % -> Union(%, failed)

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

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 JLComplexF32

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

lookup: % -> PositiveInteger if JLComplexF32 has Finite

from Finite

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

matrix: List List JLComplexF32 -> %

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

max: % -> JLComplexF32 if JLComplexF32 has OrderedSet

from HomogeneousAggregate JLComplexF32

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

from HomogeneousAggregate JLComplexF32

maxColIndex: % -> Integer

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

maxRowIndex: % -> Integer

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

member?: (JLComplexF32, %) -> Boolean

from HomogeneousAggregate JLComplexF32

members: % -> List JLComplexF32

from HomogeneousAggregate JLComplexF32

min: % -> JLComplexF32 if JLComplexF32 has OrderedSet

from HomogeneousAggregate JLComplexF32

minColIndex: % -> Integer

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

minordet: % -> JLComplexF32

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

minRowIndex: % -> Integer

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

more?: (%, NonNegativeInteger) -> Boolean

from Aggregate

ncols: % -> NonNegativeInteger

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

nrows: % -> NonNegativeInteger

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

nullity: % -> NonNegativeInteger

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

one?: % -> Boolean

from MagmaWithUnit

opposite?: (%, %) -> Boolean

from AbelianMonoid

parts: % -> List JLComplexF32

from HomogeneousAggregate JLComplexF32

Pfaffian: % -> JLComplexF32

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

plenaryPower: (%, PositiveInteger) -> %

from NonAssociativeAlgebra JLComplexF32

qcoerce: JLComplexF32Matrix -> %

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

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

random: () -> % if JLComplexF32 has Finite

from Finite

rank: % -> NonNegativeInteger

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

recip: % -> Union(%, failed)

from MagmaWithUnit

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

from LinearlyExplicitOver Integer

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

from LinearlyExplicitOver JLComplexF32

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

from LinearlyExplicitOver Integer

reducedSystem: Matrix % -> Matrix JLComplexF32

from LinearlyExplicitOver JLComplexF32

retract: % -> Fraction Integer

from RetractableTo Fraction Integer

retract: % -> Integer

from RetractableTo Integer

retract: % -> JLComplexF32

from RetractableTo JLComplexF32

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

from RetractableTo Fraction Integer

retractIfCan: % -> Union(Integer, failed)

from RetractableTo Integer

retractIfCan: % -> Union(JLComplexF32, failed)

from RetractableTo JLComplexF32

rightPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower: (%, PositiveInteger) -> %

from Magma

rightRecip: % -> Union(%, failed)

from MagmaWithUnit

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

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

rowEchelon: % -> %

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

sample: %

from AbelianMonoid

scalarMatrix: JLComplexF32 -> %

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

size?: (%, NonNegativeInteger) -> Boolean

from Aggregate

size: () -> NonNegativeInteger if JLComplexF32 has Finite

from Finite

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

from Comparable

square?: % -> Boolean

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

squareMatrix: JLComplexF32Matrix -> %

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

string: % -> String

from JLType

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

from CancellationAbelianMonoid

symmetric?: % -> Boolean

from RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

trace: % -> JLComplexF32

from SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

zero?: % -> Boolean

from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianSemiGroup

Aggregate

Algebra JLComplexF32

BasicType

BiModule(%, %)

BiModule(JLComplexF32, JLComplexF32)

CancellationAbelianMonoid

CoercibleFrom Fraction Integer

CoercibleFrom Integer

CoercibleFrom JLComplexF32

CoercibleTo JLComplexF32Matrix

CoercibleTo OutputForm

Comparable if JLComplexF32 has Finite

ConvertibleTo InputForm if JLComplexF32 has Finite

ConvertibleTo String

DifferentialExtension JLComplexF32

DifferentialRing

Evalable JLComplexF32 if JLComplexF32 has Evalable JLComplexF32

Finite if JLComplexF32 has Finite

finiteAggregate

FullyLinearlyExplicitOver JLComplexF32

FullyRetractableTo JLComplexF32

Hashable if JLComplexF32 has Finite

HomogeneousAggregate JLComplexF32

InnerEvalable(JLComplexF32, JLComplexF32) if JLComplexF32 has Evalable JLComplexF32

JLType

LeftModule %

LeftModule JLComplexF32

LinearlyExplicitOver Integer if JLComplexF32 has LinearlyExplicitOver Integer

LinearlyExplicitOver JLComplexF32

Magma

MagmaWithUnit

Module JLComplexF32

Monoid

NonAssociativeAlgebra JLComplexF32

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

PartialDifferentialRing Symbol if JLComplexF32 has PartialDifferentialRing Symbol

RectangularMatrixCategory(n, n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

RetractableTo Fraction Integer

RetractableTo Integer

RetractableTo JLComplexF32

RightModule %

RightModule Integer if JLComplexF32 has LinearlyExplicitOver Integer

RightModule JLComplexF32

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

SquareMatrixCategory(n, JLComplexF32, DirectProduct(n, JLComplexF32), DirectProduct(n, JLComplexF32))

TwoSidedRecip

unitsKnown