Re: [fricas-devel] representation depending on a parameter

2025-08-31 Thread Waldek Hebisch
On Mon, Sep 01, 2025 at 12:48:22AM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra system wrote: > I thought the following would be possible in SPAD. > > - > )abbrev package FOO Foo > Foo(n: Integer): Exports == Implementation where > Exports ==> Ring > Implem

[fricas-devel] representation depending on a parameter

2025-08-31 Thread 'Ralf Hemmecke' via FriCAS - computer algebra system
I thought the following would be possible in SPAD. - )abbrev package FOO Foo Foo(n: Integer): Exports == Implementation where Exports ==> Ring Implementation ==> n > 2 => Fraction Integer Integer - However, it gives %%% (148) -