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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZIuMOPZ6j9IoO2pt%40fricas.math.uni.wroc.pl.
