SegmentBinding S

seg.spad line 221 [edit on github]

• S: Type

This domain is used to provide the function argument syntax v=a..b. This is used, for example, by the top-level draw functions.

=: (%, %) -> Boolean if S has SetCategory

from BasicType

~=: (%, %) -> Boolean if S has SetCategory

from BasicType

coerce: % -> OutputForm if S has SetCategory

from CoercibleTo OutputForm

convert: % -> InputForm if S has ConvertibleTo InputForm

from ConvertibleTo InputForm

equation: (Symbol, Segment S) -> %

equation(v, a..b) creates a segment binding value with variable v and segment a..b. Note that the interpreter parses v=a..b to this form.

latex: % -> String if S has SetCategory

from SetCategory

segment: % -> Segment S

segment(segb) returns the segment from the right hand side of the SegmentBinding. For example, if segb is v=a..b, then segment(segb) returns a..b.

variable: % -> Symbol

variable(segb) returns the variable from the left hand side of the SegmentBinding. For example, if segb is v=a..b, then variable(segb) returns v.

BasicType if S has SetCategory

CoercibleTo OutputForm if S has SetCategory

ConvertibleTo InputForm if S has ConvertibleTo InputForm

SetCategory if S has SetCategory