Re: [fricas-devel] Vector which implements AbelianGroup

2017-01-23 Thread Martin Baker
On 01/23/2017 06:33 PM, Ralf Hemmecke wrote: On 01/23/2017 06:52 PM, Martin Baker wrote: I would like a Vector domain which implements AbelianGroup. http://fricas.github.io/api/DirectProduct.html Ralf Thanks Ralf, just what I was looking for. I did look on fricas.github.io but I only

Re: [fricas-devel] Vector which implements AbelianGroup

2017-01-23 Thread Ralf Hemmecke
On 01/23/2017 06:52 PM, Martin Baker wrote: > I would like a Vector domain which implements AbelianGroup. http://fricas.github.io/api/DirectProduct.html Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe

[fricas-devel] Vector which implements AbelianGroup

2017-01-23 Thread Martin Baker
I would like a Vector domain which implements AbelianGroup. Unfortunately Vectors in FriCAS don't appear to implement AbelianGroup because it needs to implement 0:% which it can't because the nearest function in Vector is zero: NonNegativeInteger -> % but this needs to know the number of