Ralf Hemmecke wrote:
>
> Hi,
>
> I now could remove all the blacklisted domains in the aldor-interface.
>
> https://github.com/hemmecke/fricas/tree/fix-blacklisted-domains
>
> In fact, aldor helped to discover a bug in the two spad files, that
> actually the SPAD compiler should have refused to compile.
>
> See explanation in the commit message... (attaced at the end of this mail)
>
> https://github.com/hemmecke/fricas/commit/e68b728e0a5d7491e07f4a45db82e5cf2acf02cd
>
> Although I personally don't like a type that involves #vl, a proper fix
> would involve a change in the inferface of
> DistributedMultivariatePolynomial. That seems to be too involved for the
> moment, and maybe isn't wanted by other people.
>
> I would like to make 3 commits as given below. I only have a ChangeLog
> entry in the last commit, but I hope it's OK that way.
>
> May I commit?
>
OK. However one remark: ATM handling of DirectProduct(#vl, ...)
in Spad compiler is buggy, in particular the compiler rejects
valid code. I am a bit surprised that the new version compiles,
but this seem to be principle of bug cancellation in action:
compiler (wrongly) does not check types of arguments to types,
so it does not have oportunity to (wrongly) reject the code.
BTW, rejecting valid code like DirectProduct(#vl, ...) in some
context I consider as probably worst currently unfixed bug
in Spad compiler.
--
Waldek Hebisch
[email protected]
--
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.
