Florian Walsh's activity
From 15 Jan 2022 to 13 Feb 2022
27 Jan 2022
-
14:02 CoCoALib Feature #1652: Add LM to cocoalib ?
- That makes sense. I was implementing DivAlg which seems to exist only in a cocoa package.
I should probably use the ...
26 Jan 2022
-
16:11 CoCoALib Feature #1652 (In Progress): Add LM to cocoalib ?
- To compute the leading monomial of a polynomial in cocoalib I need to call ...
20 Jan 2022
-
11:51 CoCoALib Feature #1619: Make saturate available in CoCoALib
- It seems like I need to call _MakeUnique(I)->mySaturate(J)_ to compute the saturation of I wrt. to J.
Also available in: Atom