Kurt Pagani wrote:
>
> I'd like to suggest a slightly modified version of DeRhamComplex for the
> following reasons:
>
> A) in the current version we cannot use non-atomic symbols:
>
> (1) -> X:=DERHAM(INT,[x[i] for i in 1..4])
>
> (1) DeRhamComplex(Integer,[x[1],x[2],x[3],x[4]])
> Type: Type
>
> (2) -> generator(1)$X
>
> >> Error detected within library code:
> Cannot form string from non-atomic symbols.
>
Yes, we should change this.
> B) to build on (e.g. packages) it would be desirable to have access to a
> part of the "term" structure via "convert" functions.
That part is a bit tricky. Of course we need to expose parts that
are needed elsewere. But limiting what is exposed is essential
to future maintenance.
> C) there are many "pretends" ...
In derham.spad currently there is 1 pretend.
> The proposed version is fully backwards compatible (actually nothing has
> been omitted) and all 'pretends' are eliminated.
Thanks for the patch. I need to look more carefully at it. But the
changes are desirable so I will include it (if needed with modifications).
BTW: You mix actual code changes with formatting changes.
I normally try to avoid mixing purely formatting changes
with code changes: that way it is easier to see essential
things in the diff.
--
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.
