Riccardo GUIDA wrote:
>
> > One big source of bogosity is '$Lisp' calls. Some are
> > valid because the call is access to a primitive operation
> > otherwise unavailable in Spad. Some are valid because
> > assumptions they make are are always satisified (like
> > Lisp EQ implaing equality). But there are buch of
> > bogus things. One is recently mentioned 'Factored'
> > issue: we can not assume that Lisp ordering predicate
> > will do something sensible (which essentially means
> > that the code should _not_ depend on order and
> > use quadratic algorithm). I also noticed uses of
> > 'mathObject2String$Lisp'. This is fine for specific
> > things like strings, symbols or lists of them. But
> > it is invalid when applied to general FriCAS data.
> > In particular 'toString' in 'src/algebra/clifford.spad'
> > needs to be fixed (removed ???).
>
>
> Hi, maybe I'm too naive or this is too difficult, but why
> you do not isolate all the allowed $Lisp operations by
> creating spad wrapper functions in a "Primitive" domain
> and forbid the use of $Lisp everywhere else in the code?
I was thinking about this but ATM do not see gain: we need
some context to express validity of operations and just
putting '$Lisp' things into "Primitive" simply changes
problem of '$Lisp' callse into problem of "Primitive"
calls. We may move in such direction for portablity
("Primitive" may have alternative, non-Lisp implementation).
BTW: Most '$Lisp' calls occures in small number of domains
like List, Integer, etc. ATM I see small number of
problematic calls and those should be eliminated
(replacing them by something like "Primitive" may
actually hide problem istead of curing it).
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
