# SubSpace(n, R)¶

This domain undocumented

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
addPoint2: (%, Point R) -> %
addPoint2(s, p) adds the 4 dimensional point, p, to the 3 dimensional subspace, s. The subspace s is returned with the additional point.
addPoint: (%, List NonNegativeInteger, NonNegativeInteger) -> %
addPoint(s, li, i) adds the 4 dimensional point indicated by the index location, i, to the 3 dimensional subspace, s. The list of non negative integers, li, dictates the path to follow, or, to look at it another way, points to the component in which the point is to be added. It's length should range from 0 to n - 1 where n is the dimension of the subspace. If the length is n - 1, then a specific lowest level component is being referenced. If it is less than n - 1, then some higher level component (0 indicates top level component) is being referenced and a component of that level with the desired point is created. The subspace s is returned with the additional point.
addPoint: (%, List NonNegativeInteger, Point R) -> %
addPoint(s, li, p) adds the 4 dimensional point, p, to the 3 dimensional subspace, s. The list of non negative integers, li, dictates the path to follow, or, to look at it another way, points to the component in which the point is to be added. It's length should range from 0 to n - 1 where n is the dimension of the subspace. If the length is n - 1, then a specific lowest level component is being referenced. If it is less than n - 1, then some higher level component (0 indicates top level component) is being referenced and a component of that level with the desired point is created. The subspace s is returned with the additional point.
addPoint: (%, Point R) -> NonNegativeInteger
addPoint(s, p) adds the point, p, to the 3 dimensional subspace, s, and returns the new total number of points in s.
addPointLast: (%, %, Point R, NonNegativeInteger) -> %
addPointLast(s, s2, li, p) adds the 4 dimensional point, p, to the 3 dimensional subspace, s. s2 point to the end of the subspace s. n is the path in the s2 component. The subspace s is returned with the additional point.
birth: % -> %
birth(x) undocumented
child: (%, NonNegativeInteger) -> %
child(x, n) undocumented
children: % -> List %
children(x) undocumented
closeComponent: (%, List NonNegativeInteger, Boolean) -> %
closeComponent(s, li, b) sets the property of the component in the 3 dimensional subspace, s, to be closed if b is true, or open if b is false. The list of non negative integers, li, dictates the path to follow, or, to look at it another way, points to the component whose closed property is to be set. The subspace, s, is returned with the component property modification.
coerce: % -> OutputForm
from CoercibleTo OutputForm
deepCopy: % -> %
deepCopy(x) undocumented
defineProperty: (%, List NonNegativeInteger, SubSpaceComponentProperty) -> %
defineProperty(s, li, p) defines the component property in the 3 dimensional subspace, s, to be that of p, where p is of the domain SubSpaceComponentProperty. The list of non negative integers, li, dictates the path to follow, or, to look at it another way, points to the component whose property is being defined. The subspace, s, is returned with the component property definition.
extractClosed: % -> Boolean
extractClosed(s) returns the Boolean value of the closed property for the indicated 3 dimensional subspace s. If the property is closed, True is returned, otherwise False is returned.
extractIndex: % -> NonNegativeInteger
extractIndex(s) returns a non negative integer which is the current index of the 3 dimensional subspace s.
extractPoint: % -> Point R
extractPoint(s) returns the point which is given by the current index location into the point data field of the 3 dimensional subspace s.
extractProperty: % -> SubSpaceComponentProperty
extractProperty(s) returns the property of domain SubSpaceComponentProperty of the indicated 3 dimensional subspace s.
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
internal?: % -> Boolean
internal?(x) undocumented
latex: % -> String
from SetCategory
leaf?: % -> Boolean
leaf?(x) undocumented
level: % -> NonNegativeInteger
level(s) returns a non negative integer which is the current level field of the indicated 3 dimensional subspace s.
merge: (%, %) -> %
merge(s1, s2) the subspaces s1 and s2 into a single subspace.
merge: List % -> %
merge(ls) a list of subspaces, ls, into one subspace.
modifyPoint: (%, List NonNegativeInteger, NonNegativeInteger) -> %
modifyPoint(s, li, i) replaces an existing point in the 3 dimensional subspace, s, with the 4 dimensional point indicated by the index location, i. The list of non negative integers, li, dictates the path to follow, or, to look at it another way, points to the component in which the existing point is to be modified. An error message occurs if s is empty, otherwise the subspace s is returned with the point modification.
modifyPoint: (%, List NonNegativeInteger, Point R) -> %
modifyPoint(s, li, p) replaces an existing point in the 3 dimensional subspace, s, with the 4 dimensional point, p. The list of non negative integers, li, dictates the path to follow, or, to look at it another way, points to the component in which the existing point is to be modified. An error message occurs if s is empty, otherwise the subspace s is returned with the point modification.
modifyPoint: (%, NonNegativeInteger, Point R) -> %
modifyPoint(s, ind, p) modifies the point referenced by the index location, ind, by replacing it with the point, p in the 3 dimensional subspace, s. An error message occurs if s is empty, otherwise the subspace s is returned with the point modification.
new: () -> %
new() undocumented
numberOfChildren: % -> NonNegativeInteger
numberOfChildren(x) undocumented
parent: % -> %
parent(s) returns the subspace which is the parent of the indicated 3 dimensional subspace s. If s is the top level subspace an error message is returned.
pointData: % -> List Point R
pointData(s) returns the list of points from the point data field of the 3 dimensional subspace s.
root?: % -> Boolean
root?(x) undocumented
separate: % -> List %
separate(s) makes each of the components of the SubSpace, s, into a list of separate and distinct subspaces and returns the list.
shallowCopy: % -> %
shallowCopy(x) undocumented
subspace: () -> %
subspace() undocumented
traverse: (%, List NonNegativeInteger) -> %
traverse(s, li) follows the branch list of the 3 dimensional subspace, s, along the path dictated by the list of non negative integers, li, which points to the component which has been traversed to. The subspace, s, is returned, where s is now the subspace pointed to by li.

BasicType

SetCategory