Just tried with FriCAS built on top of SBCL, that worked nicely. Many
thanks.

Le jeu. 15 juin 2023 à 22:03, hebisch <de...@fricas.math.uni.wroc.pl> a
écrit :

> On Sat, Jun 10, 2023 at 05:08:51PM +0200, Ralf Hemmecke wrote:
> > Unfortunately, one of my testfiles does not compile (attached).
> >
> > I get the stuff below.
> >
> > No idea what the problem here is.
> >
> > Ralf
> >
> > (8) -> )co funny.as
> >    Compiling FriCAS source code from file
> >       /home/hemmecke/backup/git/fricas-bisect/aldortest/funny.as using
> >       Aldor compiler and options
> > -O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y
> > $FRICAS/algebra -I $FRICAS/algebra
> >       Use the system command )set compiler args to change these
> >       options.
> >
> "/dev/shm/hemmecke/fricas/install/lib/fricas/target/x86_64-linux-gnu/algebra/
> fricas.as",
> > line 8:
> >         rep x == x @ % pretend Rep;
> > .......................^
> > [L8 C24] #1 (Error) (After Macro Expansion) Argument 2 of `hashUpdate!'
> did
> > not match any possible parameter type.    The rejected type is Rep.
> >     Expected one of:
> >       -- %
> >       -- Symbol
> > Expanded expression was: x @ % pretend Rep
>
> This has nothing to do with Aldor interface.  You want 'hashUpdate!'
> for Laurent series, but:
>
> L := UnivariateLaurentSeries(FRAC(INT), x, 0)
>
>    (1)  UnivariateLaurentSeries(Fraction(Integer),x,0)
>                                                                    Type:
> Type
> (2) -> L has Hashable
>
>    (2)  false
>                                                                 Type:
> Boolean
>
> 'hashUpdate!' is present only in domains having Hashable and since
> for series we do not have real equality, they can not be Hashable.
>
> --
>                               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 fricas-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/ZIuMOPZ6j9IoO2pt%40fricas.math.uni.wroc.pl
> .
>

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAHnU2da%3D%3DmqQ8kOs2Lbts_UhXwnjVav2QY39hyntV6A%3DQO0Saw%40mail.gmail.com.

Reply via email to