CoCoA » CoCoALib

22 Aug 2022

17:29 Feature #1694 (Resolved): New expv/exponents function?

I have implemented the changes proposed in comment 4.
It all compiles, and all tests pass.
I'll check in soon.
John Abbott

16:01 Feature #1694: New expv/exponents function?

After discussing with Anna, we think the following redesign is a good solution:
* change existing @exponents@ so tha... John Abbott

15:34 Feature #1694 (In Progress): New expv/exponents function?

Bruns replied by email (2022-08-09):... John Abbott

09 Aug 2022

12:14 Feature #1694: New expv/exponents function?

Another way to solve Bruns's problem would be to allow @PushBack@ to accept PPs from a different monoid,
and then ma... John Abbott

12:06 Feature #1694: New expv/exponents function?

I have been discussing with Bruns over email. He wanted to write something like... John Abbott

11:57 Feature #1694 (Closed): New expv/exponents function?

Consider whether to implement a simpler fn for computing the expv of a PP.
Currently one must do:... John Abbott