axiom do 1 2 Type: PositiveInteger?
The result is a PositiveInteger?. I don't read the value 2 ------------------ axiom do 1 2 Type: PositiveInteger?
axiom %
Type: PositiveInteger?
axiom do i for i in 1..3 Type: Tuple(PositiveInteger?)
axiom %
Type: Tuple(PositiveInteger?)
axiom x:=do [i for i in 1..3] Type: List(PositiveInteger?)
axiom x
Type: List(PositiveInteger?)
axiom 1; Type: PositiveInteger?
axiom 2; Type: PositiveInteger?
axiom %
Type: PositiveInteger?
... --unknown, Fri, 01 Jul 2005 06:12:48 -0500 reply I need the do command for tests with => in interpret input.
axiom 1=2 => 3 Type: Void
axiom 2=2 => 4
Type: PositiveInteger?
Isn't right. axiom do 1=2 => 3 2=2 => 4 Type: PositiveInteger?
is better. I don't understand why the do command runs with a semicolon ; at the end. If I don't want any display I add a semicolon, if not I get the result. Quoted from the Aldor User Guide at http://www.aldor.org/docs/HTML/chap5.html#7The do expression evaluates E and discards the computed value, so that the do expression returns no value. do E Status: open => rejected |