Activity
From 13 May 2017 to 11 Jun 2017
07 Jun 2017
-
15:19 CoCoA-5 Feature #1011: Random seed fn
- In the manual page I have given a simplistic example of calling @reseed@ with an argument which varies with the time:...
23 May 2017
-
- Having 4 indets makes it easy to find "big" examples:...
-
08:46 CoCoA-5 Design #1075: LaTeX package: power-product printing
- I would define @space@ to the empty string if @[1] = MakeSet([ len(IndetName(X)) | X in indets(R) ]);@
(or some si... -
- John Abbott wrote:
> Does your test of @saturate@ in @anna.cocoa5@ compute a saturation with twin-float coeffs??
...
22 May 2017
-
- Since CoCoA-5 allows indets with long names, I wanted to revise @LaTeX.cpkg5@ so that the product @x*y@ looks differe...
-
- I have just checked in a revised version of the LaTeX package:
* revised spacing between indets in a power-product (... -
- The following output is surprising (though correct)...
-
- The CoCoAManual entry for @radical@ looks to be out of date.
It does not mention @radical(RINGELEM)@ and also stat... -
- Does your test of @saturate@ in @anna.cocoa5@ compute a saturation with twin-float coeffs??
I think you might want t... -
- John Abbott wrote:
> A simple, backward-compatible solution would be to allow @Relnotes@ to accept 0 or 1 args. Wit... -
- A simple, backward-compatible solution would be to allow @Relnotes@ to accept 0 or 1 args. With 0 args it prints out...
-
- Currently @RelNotes()@ prints out the release notes for all previous versions of CoCoA-5.
I think it could be help... -
- John Abbott wrote:
> I do not understand: "closed" but progress is 10%.
> Also your last comment suggests that ther... -
- I do not understand: "closed" but progress is 10%.
Also your last comment suggests that there is still some design i... -
- There is @myElim@. Maybe I meant making a _function_?
Easy, anyway.
-
- While preparing an example of a simple ideal with a big "universal denominator" I encountered a number with about 330...
-
- @LinKerBasis@ is the "sloppy" version of @LinKer@ (which only takes a MAT, returns a MAT).
We added LIST of linear...
19 May 2017
-
- ...
-
- I just removed the coefficients to John's last example:...
-
- Just to clarify: this means that one cannot create this ring, hmmmmm.......
-
- Here is another "slightly smaller" matrix whose determinant is zero mod 32749:...
-
- Here is another example which gives trouble:...
18 May 2017
-
- Is it right that @syz@ should give error if one of the coords is zero?...
-
- The man page still calls th fn @Syz@ with a capital @S@; it should be @syz@, shouldn't it?
-
- The current solution is to do the following:...
-
- Would it make sense to allow @syz@ to be applied to a @ModuleElem@?...
-
- Should the manual page for @LinKerBasis@ also refer to the page for @syz@?
-
- I am not sure what is happening here:...
-
- The version that takes a list gives an unhelpful error when one component is zero:...
-
- What is @LinKerBasis@ supposed to do when given a list?...
-
- This is an unfriendly error message:...
-
- The CoCoA-5 function @LinKerBasis@ produces unhelpful error messages, and too many of them!
Part of the problem ma... -
- Here are some order matrices with not-too-big entries whose det is a multiple of 32749:...
-
- added tests. CVS-ed
-
- Found it in @TmpGOperations.C@:
Saturation by @ideal(f)@ calls @factor(f)@ and wrongly assumes that the factor list ... -
- Bug (radical >0 dim) trapped by Elisa Palezzato...
17 May 2017
-
- ...
-
- First problem found: @NewOrdvArith(ord)@ ic computed twice.
If @ord@ is defined by M, then many checks are done on M. -
- John Abbott wrote:
> Another approach would be to persuade GFan to produce matrices with smaller entries... this is ... -
- Another approach would be to persuade GFan to produce matrices with smaller entries... this is probably not so easy!
-
- The correct solution would be to have a proper implementation of matrix orderings without any "tricks" (too bad if it...
-
- John Abbott wrote:
> Here is a guess as to what the problem is... for matrix orderings there was some "funny trick" ... -
- Here is a guess as to what the problem is... for matrix orderings there was some "funny trick" using a matrix reduced...
-
- Another smaller example (but not as small as Anna's)...
-
- Smaller example, but still too big...
-
- The following causes an error:...
-
- I just implemented a workaround:
I check det(M) before calling @RemoveRedundantRows@, if not 0 return M.
-
- The function @RemoveRedundantRows@ is quite slow because of the repeated calls to @rk@.
I had thought it was not imp... -
- Now I'm more inclined to keep @MakeTermOrd@ for CoCoA-5.
Possibly make a distinction in CoCoALib (where mat and ord ... -
- OK, Anna; take a look.
I'm a bit busy with other things right now.
-
- Anna Maria Bigatti wrote:
> It would be handy to get the OrdvArith from a PPMonoid (if possible).
If John allows ... -
- It would be handy to get the OrdvArith from a PPMonoid (if possible).
This could also be used internally by the GBas... -
- We never considered that a slow ring constructor could be a problem, but may be.
In particular this bit of code:
<p... -
- I made a test: "bug-EvalTwice.cocoa5" where we can collect all cases we meet, solved or unsolved.
16 May 2017
-
- Found it! (and fixed most of them)
The problem is when using the hand functions @EvalArgAsT1OrT2..<..>(ARG(0), whic... -
- John Abbott wrote:
> Why do you want to specify @lo@ and @hi@ for @RandomLinearForm@?
> Is it not enough to specify... -
- Why do you want to specify @lo@ and @hi@ for @RandomLinearForm@?
Is it not enough to specify a single value N and us... -
- John Abbott wrote:
> There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
That's a kind... -
- John Abbott wrote:
> But what about @BackwardCompatible.cpkg5@? How does it differ from @obsolescent.cpkg5@?
Und... -
- There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
-
- There is also an undocumented fn called *@Rand@* in @misc.cpkg5@.
Should it be made obsolete? Or simply eliminated?... -
- The function *@ExternalLibs()@* does not work properly. It must be fixed using the new CoCoALib fn.
15 May 2017
-
- OK, I'll do it and check in tomorrow -- too busy today.
-
- ok, you convinced me: let's declare Randomize(d) obsolete, and make (in case) explicit functions for random things.
-
- We could create: @RandomLinearForm(P,100)@ or even @RandomLinearForm(P)@ if coeff ring is finite field.
-
- @L := DensePoly(P,1); randomized(L, -100,100);@ is a nice way to make lots of random linear forms.
-
- I thought @Randomize@ in CoCoA-4 would work only for polynomials (and integers). Did it also work for matrices?
K... -
- I sometimes miss old @Randomized@.
I suggest implementing it, but with explicit range: @randomized(f, 100);@ random... -
- Here are two deg 5 binomial examples:...
-
- Here are some binomial examples of deg 4:...
-
- Changed the code so that ugly primes are detected cleanly from checking divisibility, instead of using try/catch. Ad...
-
- I suggest as a first version of the man page just to put in a reference to the website; not ideal, but better than no...
-
- Currently there is a web page (I've just improved it a bit).
http://cocoa.dima.unige.it/download/screenshots.shtml
...
14 May 2017
-
- I have implemented @reseed@, and written a manual page.
Not sure about making a test... I suppose I could make an ea... -
- The old CoCoA-4 function @Randomize(F)@ is essentially equivalent to:...
-
- While looking through the CoCoA-5 on-line manual, I noticed that there are references to @Randomize@ and @Randomized@...
Also available in: Atom