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

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.

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

from BasicType

CoercibleTo(OutputForm)

BasicType

ConvertibleTo(InputForm)

SetCategory