The Fortress Language Specification - CiteSeerX

(self,other:RationalQuantityU,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,nan ′ ) :
RationalQuantity U,
ninf ∧ (nan ′ ∨ ninf ′ ) ∨ (nan ∨ ninf ) ∧ ninf ′ ,
lt ∧ (nan ′ ∨ ninf ′ ∨ lt ′ ) ∨ (nan ∨ ninf ∨ lt) ∧ lt ′ ,
eq ∧ (nan ′ ∨ ninf ′ ∨ lt ′ ∨ eq ′ ) ∨ (nan ∨ ninf ∨ lt ∨ eq) ∧ eq ′ ,
gt ∧ (nan ′ ∨ ninf ′ ∨ lt ′ ∨ eq ′ ∨ gt ′ ) ∨ (nan ∨ ninf ∨ lt ∨ eq ∨ gt) ∧ gt ′ ,
pinf ∧(nan ′ ∨ ninf ′ ∨ lt ′ ∨ eq ′ ∨ gt ′ ∨ pinf ′ )∨
(nan ∨ ninf ∨ lt ∨ eq ∨ gt ∨ pinf ) ∧ pinf ′ ,
nan ∧ nan ′
opr MINNUMbool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′ ,bool nan ′
(self,other:RationalQuantityU,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,nan ′ ) :
RationalQuantity U,
ninf ∧(ninf ′ ∨ lt ′ ∨ eq ′ ∨ gt ′ ∨ pinf ′ ∨ nan ′ )∨
(ninf ∨ lt ∨ eq ∨ gt ∨ pinf ∨ nan) ∧ ninf ′ ,
lt ∧ (lt ′ ∨ eq ′ ∨ gt ′ ∨ pinf ′ ∨ nan ′ ) ∨ (lt ∨ eq ∨ gt ∨ pinf ∨ nan) ∧ lt ′ ,
eq ∧ (eq ′ ∨ gt ′ ∨ pinf ′ ∨ nan ′ ) ∨ (eq ∨ gt ∨ pinf ∨ nan) ∧ eq ′ ,
gt ∧ (gt ′ ∨ pinf ′ ∨ nan ′ ) ∨ (gt ∨ pinf ∨ nan) ∧ gt ′ ,
pinf ∧ (pinf ′ ∨ nan ′ ) ∨ (pinf ∨ nan) ∧ pinf ′ ,
nan ∧ nan ′
opr |self| :RationalQuantityU,false,false,eq,lt ∨ gt,ninf ∨ pinf ,nan
signum(self):RationalQuantityU,false,lt,eq,gt,false,nan
numerator(self): IntegerQuantityU,false,ninf ∨ lt,eq,gt ∨ pinf ,false,nan
denominator(self):IntegerQuantitydimensionless,false,false,ninf ∨ pinf ,lt ∨ eq ∨ gt,false,nan
floor(self): IntegerQuantityU,ninf ,lt,eq ∨ gt,gt,pinf ,nan
opr ⌊self⌋: IntegerQuantityU,ninf ,lt,eq ∨ gt,gt,pinf ,nan
ceiling(self):IntegerQuantityU,ninf ,lt,lt ∨ eq,gt,pinf ,nan
opr ⌈self⌉: IntegerQuantityU,ninf ,lt,lt ∨ eq,gt,pinf ,nan
round(self): IntegerQuantityU,ninf ,lt,lt ∨ eq ∨ gt,gt,pinf ,nan
truncate(self):IntegerQuantityU,ninf ,lt,lt ∨ eq ∨ gt,gt,pinf ,nan
realpart(self): RationalQuantityU,ninf ,lt,eq,gt,pinf ,nan
imagpart(self):RationalQuantityU,false,false,true,false,false,nan
check(self): Q throws CastException
check ∗ (self): Q ∗ throws CastException
check < (self): Q < throws CastException
check ≤ (self): Q ≤ throws CastException
check ≥ (self): Q ≥ throws CastException
check > (self): Q > throws CastException
check≠(self): Q≠ throws CastException
check ∗ (self): Q ∗ > throws CastException
check ∗
≠(self): Q ∗
≠
throws CastException
check # (self): Q # > throws CastException
check #
≠
(self): Q#
≠
throws CastException
end
For descriptions of the methods, see Section 25.1.
265