CubicalFacet

alg_top.spad line 944 [edit on github]

A single vertex, edge, square, cube... for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/topology/cubical/ Date Created: April 2016 Basic Operations: Related packages: Related categories: FacetCategory Related Domains: Also See: AMS Classifications:

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

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

allSubsets of a given facet returned in reverse order subsets returned are not oriented

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

allSubsets of a given length returned in reverse order subsets returned are not oriented

boundary : % -> List(%)

construct the boundary. This is like hollowing out the facet.

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

cubicalFacet : (Integer, CubicalFacet) -> %

Copy constructor which can change mul

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

Constructor for cubical facet

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

Constructor for cubical facet intervals are always stored in low..high order orientation is calculated by the number of intervals that have to be flipped to put it in order.

empty? : % -> Boolean

from FacetCategory

getIntervals : % -> List(Segment(Integer))

returns intervals in face one for each dimension

getMult : % -> Integer

from FacetCategory

latex : % -> String

from SetCategory

max : (%, %) -> %

from OrderedSet

min : (%, %) -> %

from OrderedSet

order : % -> NonNegativeInteger

from FacetCategory

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

return index of e in lst. Index will be negative if e has negative multiplier.

product : (%, %) -> %

This function returns the product of two cubical facets. Unlike the simplex case, the product is a single facet

sameFace? : (%, %) -> Boolean

true if this is the same face although the orientation may be different.

setMult : (%, Integer) -> %

sets multiplier of face

smaller? : (%, %) -> Boolean

from Comparable

~= : (%, %) -> Boolean

from BasicType

FacetCategory

CoercibleTo(OutputForm)

Comparable

OrderedSet

SetCategory

BasicType

PartialOrder