Re: [fricas-devel] BUG: macro parameters are not parameters

2023-12-13 Thread Waldek Hebisch
On Wed, Dec 13, 2023 at 09:54:04AM +0100, Ralf Hemmecke wrote:
> 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.

Well, 'macSubstituteOuter' in macex.boot seem to be buggy...

-- 
  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/ZXpiozJ3W29uOCPD%40fricas.org.


[fricas-devel] BUG: macro parameters are not parameters

2023-12-13 Thread Ralf Hemmecke

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.