DoubleFloatMatrix

numarr.spad line 38 [edit on github]

This is a low-level domain which implements matrices (two dimensional arrays) of double precision floating point numbers. Indexing is 0 based, there is no bound checking (unless provided by lower level).

# : % -> NonNegativeInteger

from Aggregate

* : (%, %) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

* : (%, DoubleFloat) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

* : (DoubleFloat, %) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

* : (Integer, %) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

* : (%, DoubleFloatVector) -> DoubleFloatVector

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

* : (DoubleFloatVector, %) -> DoubleFloatVector

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

+ : (%, %) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

- : % -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

- : (%, %) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

/ : (%, DoubleFloat) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

= : (%, %) -> Boolean

from BasicType

Pfaffian : % -> DoubleFloat

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

^ : (%, Integer) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

^ : (%, NonNegativeInteger) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

antisymmetric? : % -> Boolean

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

any? : (Mapping(Boolean, DoubleFloat), %) -> Boolean

from HomogeneousAggregate(DoubleFloat)

array2 : List(List(DoubleFloat)) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

blockConcat : List(List(%)) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

blockSplit : (%, List(NonNegativeInteger), List(NonNegativeInteger)) -> List(List(%))

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

blockSplit : (%, PositiveInteger, PositiveInteger) -> List(List(%))

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

coerce : DoubleFloatVector -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

colSlice : % -> Segment(Integer)

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

column : (%, Integer) -> DoubleFloatVector

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

columnSpace : % -> List(DoubleFloatVector)

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

copy : % -> %

from Aggregate

count : (DoubleFloat, %) -> NonNegativeInteger

from HomogeneousAggregate(DoubleFloat)

count : (Mapping(Boolean, DoubleFloat), %) -> NonNegativeInteger

from HomogeneousAggregate(DoubleFloat)

determinant : % -> DoubleFloat

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

diagonal? : % -> Boolean

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

diagonalMatrix : List(%) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

diagonalMatrix : List(DoubleFloat) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

elt : (%, Integer, List(Segment(Integer))) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

elt : (%, List(Integer), Segment(Integer)) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

elt : (%, List(Segment(Integer)), Integer) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

elt : (%, List(Segment(Integer)), List(Segment(Integer))) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

elt : (%, List(Segment(Integer)), Segment(Integer)) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

elt : (%, Segment(Integer), List(Integer)) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

elt : (%, Segment(Integer), List(Segment(Integer))) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

empty : () -> %

from Aggregate

empty? : % -> Boolean

from Aggregate

eq? : (%, %) -> Boolean

from Aggregate

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

from InnerEvalable(DoubleFloat, DoubleFloat)

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

from Evalable(DoubleFloat)

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

from InnerEvalable(DoubleFloat, DoubleFloat)

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

from Evalable(DoubleFloat)

every? : (Mapping(Boolean, DoubleFloat), %) -> Boolean

from HomogeneousAggregate(DoubleFloat)

exquo : (%, DoubleFloat) -> Union(%, "failed")

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

fill! : (%, DoubleFloat) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

horizConcat : (%, %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

horizConcat : List(%) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

horizSplit : (%, List(NonNegativeInteger)) -> List(%)

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

horizSplit : (%, PositiveInteger) -> List(%)

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

inverse : % -> Union(%, "failed")

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

kroneckerProduct : (%, %) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

kroneckerProduct : List(%) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

kroneckerSum : (%, %) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

kroneckerSum : List(%) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

kronecker_prod1 : (%, Integer, List(List(NonNegativeInteger)), List(%), NonNegativeInteger, NonNegativeInteger, Union(DoubleFloat, "one")) -> Void

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

latex : % -> String

from SetCategory

less? : (%, NonNegativeInteger) -> Boolean

from Aggregate

listOfLists : % -> List(List(DoubleFloat))

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

map : (Mapping(DoubleFloat, DoubleFloat), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

map : (Mapping(DoubleFloat, DoubleFloat, DoubleFloat), %, %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

map : (Mapping(DoubleFloat, DoubleFloat, DoubleFloat), %, %, DoubleFloat) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

map! : (Mapping(DoubleFloat, DoubleFloat), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

matrix : List(List(DoubleFloat)) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

matrix : (NonNegativeInteger, NonNegativeInteger, Mapping(DoubleFloat, Integer, Integer)) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

max : % -> DoubleFloat

from HomogeneousAggregate(DoubleFloat)

max : (Mapping(Boolean, DoubleFloat, DoubleFloat), %) -> DoubleFloat

from HomogeneousAggregate(DoubleFloat)

maxColIndex : % -> Integer

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

maxRowIndex : % -> Integer

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

member? : (DoubleFloat, %) -> Boolean

from HomogeneousAggregate(DoubleFloat)

members : % -> List(DoubleFloat)

from HomogeneousAggregate(DoubleFloat)

min : % -> DoubleFloat

from HomogeneousAggregate(DoubleFloat)

minColIndex : % -> Integer

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

minRowIndex : % -> Integer

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

minordet : % -> DoubleFloat

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

more? : (%, NonNegativeInteger) -> Boolean

from Aggregate

ncols : % -> NonNegativeInteger

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

new : (NonNegativeInteger, NonNegativeInteger, DoubleFloat) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

nrows : % -> NonNegativeInteger

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

nullSpace : % -> List(DoubleFloatVector)

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

nullity : % -> NonNegativeInteger

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

parts : % -> List(DoubleFloat)

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

positivePower : (%, Integer) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

qnew : (NonNegativeInteger, NonNegativeInteger) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

qsetelt! : (%, Integer, Integer, DoubleFloat) -> DoubleFloat

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

rank : % -> NonNegativeInteger

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

row : (%, Integer) -> DoubleFloatVector

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

rowEchelon : % -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

rowSlice : % -> Segment(Integer)

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

sample : () -> %

from Aggregate

scalarMatrix : (NonNegativeInteger, DoubleFloat) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setColumn! : (%, Integer, DoubleFloatVector) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setRow! : (%, Integer, DoubleFloatVector) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, Integer, List(Integer), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, Integer, List(Segment(Integer)), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, List(Integer), Integer, %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, List(Integer), List(Integer), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, List(Integer), Segment(Integer), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, List(Segment(Integer)), Integer, %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, List(Segment(Integer)), List(Segment(Integer)), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, List(Segment(Integer)), Segment(Integer), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, Segment(Integer), List(Integer), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, Segment(Integer), List(Segment(Integer)), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, Segment(Integer), Segment(Integer), %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setelt! : (%, Integer, Integer, DoubleFloat) -> DoubleFloat

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

setsubMatrix! : (%, Integer, Integer, %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

size? : (%, NonNegativeInteger) -> Boolean

from Aggregate

smaller? : (%, %) -> Boolean

from Comparable

square? : % -> Boolean

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

squareTop : % -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

subMatrix : (%, Integer, Integer, Integer, Integer) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

swapColumns! : (%, Integer, Integer) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

swapRows! : (%, Integer, Integer) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

symmetric? : % -> Boolean

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

transpose : % -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

transpose : DoubleFloatVector -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

vertConcat : (%, %) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

vertConcat : List(%) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

vertSplit : (%, List(NonNegativeInteger)) -> List(%)

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

vertSplit : (%, PositiveInteger) -> List(%)

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

zero : (NonNegativeInteger, NonNegativeInteger) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

zero? : % -> Boolean

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

~= : (%, %) -> Boolean

from BasicType

Comparable

shallowlyMutable

Aggregate

InnerEvalable(DoubleFloat, DoubleFloat)

BasicType

HomogeneousAggregate(DoubleFloat)

TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

SetCategory

CoercibleTo(OutputForm)

Hashable

finiteAggregate

Evalable(DoubleFloat)

MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)