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)

*: (%, DoubleFloatVector) -> DoubleFloatVector

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

*: (DoubleFloat, %) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

*: (DoubleFloatVector, %) -> DoubleFloatVector

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

*: (Integer, %) -> %

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

^: (%, Integer) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

^: (%, NonNegativeInteger) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

~=: (%, %) -> Boolean

from BasicType

antisymmetric?: % -> Boolean

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from HomogeneousAggregate DoubleFloat

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: % -> OutputForm

from CoercibleTo OutputForm

coerce: DoubleFloatVector -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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 -> Boolean, %) -> NonNegativeInteger

from HomogeneousAggregate DoubleFloat

count: (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, Integer) -> DoubleFloat

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(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)

empty?: % -> Boolean

from Aggregate

empty: () -> %

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?: (DoubleFloat -> Boolean, %) -> Boolean

from HomogeneousAggregate DoubleFloat

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

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

fill!: (%, DoubleFloat) -> %

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState, %) -> HashState

from SetCategory

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)

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

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)

latex: % -> String

from SetCategory

less?: (%, NonNegativeInteger) -> Boolean

from Aggregate

listOfLists: % -> List List DoubleFloat

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

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

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

matrix: List List DoubleFloat -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

max: % -> DoubleFloat

from HomogeneousAggregate DoubleFloat

max: ((DoubleFloat, DoubleFloat) -> Boolean, %) -> 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)

minordet: % -> DoubleFloat

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

minRowIndex: % -> Integer

from TwoDimensionalArrayCategory(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)

nullity: % -> NonNegativeInteger

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

nullSpace: % -> List DoubleFloatVector

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

parts: % -> List DoubleFloat

from TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

Pfaffian: % -> DoubleFloat

from MatrixCategory(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)

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

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)

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

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?: % -> Boolean

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

zero: (NonNegativeInteger, NonNegativeInteger) -> %

from MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

Aggregate

BasicType

CoercibleTo OutputForm

Comparable

Evalable DoubleFloat if DoubleFloat has Evalable DoubleFloat

finiteAggregate

HomogeneousAggregate DoubleFloat

InnerEvalable(DoubleFloat, DoubleFloat) if DoubleFloat has Evalable DoubleFloat

MatrixCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)

SetCategory

shallowlyMutable

TwoDimensionalArrayCategory(DoubleFloat, DoubleFloatVector, DoubleFloatVector)