On Wed, Jun 12, 2024 at 08:53:51PM +0200, Ralf Hemmecke wrote:
> Interesting that I had to look into i-bugs.input in order to find
> how to work with the )if directive and learn about ")assert".
>
> )assert blah
> )if blah
> print "blah"
> )else
> print "foo"
> )endif
>
> Unfortunately, I am a bit reluctant to use undocumented stuff.
> Any idea where such documentation could go to?
Well, in 2020 I wrote:
: However, this
: mechanizm is quite limited (and this appiles to Aldor too).
: Old Spad allowed arbitrary Boot expressions as conditions, which
: may be too general and had clearly big disadvange was usage of
: Boot. But I am not sure if we should emulate Aldor here.
: Minimal reasonable machanizm should allow Boolean conditions
: based on variables (assertions). But ability to do computations
: would be quite useful. ATM sources use ')if false' which is
: compatible with any reasonable future machanizm. And since
: existing mechanizm is incompatible with most replacements
: clearly I do not want to advertize it, in particular it
: is "actively undocumented", that is I do not want to document it.
To expand this a bit: one reasonable replacement would add
expressions + a few built in functions. Another possibility
is to assume availability of interpreter and use interpreter
to evaluate conditions.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/Zncov0IpQ08GkUYK%40fricas.org.
