1) 'with' is unsupported (unimplemented) in the interpreter. We
probably should add more sensible error message.
2)
> if K has with ("^": (K, Fraction Integer) -> K) then
>
> The following behaviour is surprising: I extended Fraction Integer do
> ExtendedFraction Integer to include such an approximating powering also
> for the rational numbers. Then my package with parameter K = Extended
> Fraction Integer recognizes the signatures defined under this condition.
> However, the normal Float, which has such a signature implemented in the
> system is not recognized. Mysterious.
Interpreter does not understand "^" above. Try:
K has _^ : ((%, Fraction Integer) -> %)
--
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/20210108190055.GA7482%40math.uni.wroc.pl.
