'leave' is a bit more general then 'break'
Oh. I didn't know.
Is the specification for both written down somewhere so that I could
study it?
Up to now I thought that the original NAG-Axiom had no 'break' and
that 'break' was just the new name for 'leave'. In fact, I thought that
'leave' had left us.
In fact, I've just grepped src/algebra/*.spad.pamphlet (see below).
The *only* use of 'leave' as a keyword is in jet.spad.pamphlet.
And there is 'leave x' in syssolp (last item).
There are quite a number of places where we have something like
ubf2 case "failed" => "leave"
But in this place, one can also write "foo", since it's an ordinary string.
jet.spad can be changed from 'leave' to 'break'.
The 'leave x' in syssolp.spad I don't actually understand. I haven't
found a function 'leave' anywhere.
I'm sure, you also know about the difference.
---rhxBEGIN br.spad
)abbrev package PKG Pkg
Pkg: with
br: () -> String
le: () -> String
== add
br(): String ==
for i in 1..5 repeat
i = 3 => break
print(i::OutputForm)
"The End"
le(): String ==
for i in 1..5 repeat
i = 3 => "leave"
print(i::OutputForm)
"The End"
---rhxEND br.spad
(8) -> br()
1
2
(8) "The End"
Type: String
(9) -> le()
1
2
4
5
(9) "The End"
Type: String
There seems to be no difference between 'leave' and 'break', though.
Ralf
>grep 'leave' *.spad.pamphlet|sed 's/.*spad\.pamphlet:
*\(--\|\+\+\).*//;'|sed 's/"leave"//g'|sed 's/leaves//g'|grep leave|sed
's/\.spad\.pamphlet:/:/'
combfunc:and leave the case where $k\in\mathbb Z$, $n\in\mathbb Z$ and
$k \leq n < 0$
combfunc:first argument currently. Instead, we leave such derivatives
unevaluated.
computation:leave it as a structure to be combined, transformed,
compared and
computation:$I$ & Identity (leave unchanged) & $I$ or $SKK$ or
$SKS$\\
crfp: if info then print "we leave as we got constant factor"
jet: rec.LD > sub.LD => leave
mantepse:instead, i.e., to leave the partitions unconjugated. Note
however, that
rinterp:In fact, we could also leave -- for example -- $k$ unspecified
and determine it
syssolp: for x in lv repeat if member?(x,lx) then leave x
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
