Re: [fricas-devel] BUG: macro parameters are not parameters
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
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.