I somehow think, the stuff below reveals a bug.
Why should the parameter name in the definition of FOO matter?

Ralf


%%% (1) -> FOO(X)(Y) ==> Polynomial(X Y)

Type: Void
%%% (2) -> FOO(Fraction)(Integer)

   (2)  Polynomial(Fraction(Integer))

Type: Type
%%% (3) -> Y ==> PrimeField 2

Type: Void
%%% (4) -> FOO(Fraction)(Integer)

   >> System error:
   The function BOOT::|%pform| is undefined.

%%% (4) -> FOO(X)(Z) ==> Polynomial(X Z)

Type: Void
%%% (5) -> FOO(Fraction)(Integer)

   (5)  Polynomial(Fraction(Integer))

Type: Type
%%% (6) -> FOO(Fraction)(Y)

   (6)  Polynomial(Fraction(PrimeField(2)))

Type: Type

--
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/8b860dd1-e6a7-4c19-b938-4673bfb698dd%40hemmecke.org.

Reply via email to