Activity
From 23 May 2019 to 21 Jun 2019
19 Jun 2019
- 09:21 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- Few bugs fixed.
We separated GBoverZZ and MinimalGBoverZZ.
18 Jun 2019
- 15:22 CoCoA-5 Feature #487: ScalarProduct accepts MatrixRow?
- Anna Maria Bigatti wrote:
> I like defining (mathematically) matrix multiplication by scalar products, so I'm in fav... - 15:15 CoCoA-5 Feature #1296: Matrixrow-functions
- From what you say, I think you are passing a @MATRIXROW@ as an argument (because you say you cannot call @NumCols@).
...
17 Jun 2019
- 11:46 CoCoA-5 Feature #1296 (In Progress): Matrixrow-functions
- The specific request to make @len@ or @NumCols@ work for a @MATRIXROW@ should not be too hard to achieve. Which func...
- 11:43 CoCoA-5 Feature #1296: Matrixrow-functions
- The "easy solution" is to use @GetRow(M,1)@ or @R:=GetRows(M); R[1]@ instead of @M[1]@. But this makes copies of the...
- 05:45 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- We modified our package following Robbiano's examples that you can find below.
use ZZ[x,y,z];
f1 := x^2-2*y;
f2...
16 Jun 2019
- 21:54 CoCoA-5 Feature #1296 (In Progress): Matrixrow-functions
- I ran into a problem concerning matrix-rows. Namely, I wanted to implement a function returning the Hamming-weight of...
08 Jun 2019
- 10:06 CoCoALib Design #1295 (In Progress): Never use "using namespace .." in header files
- I'll try to sort this out ASAP. Hope it won't be too "exciting" (the original author probably cannot be contacted an...
07 Jun 2019
- 14:13 CoCoALib Design #1295: Never use "using namespace .." in header files
- From Gereon Kremer:
"We recently had some "interesting" experiences with using namespace
directives. I would guess ... - 14:13 CoCoALib Design #1295 (Closed): Never use "using namespace .." in header files
- Make sure that "using namespace..", "nor "using .." is never used in .H files.
06 Jun 2019
- 17:55 CoCoA-5 Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly
- If I compile Cocoa5 and one of the packages loaded automatically (so any package-file inside of @src/CoCoA-5/packages...
04 Jun 2019
- 20:29 CoCoA-5 Feature #1293: Vim Plugin for CoCoA
- Anna Maria Bigatti wrote:
> Sorry, I cannot stop myself thinking of this xkcd: https://xkcd.com/378/ ;-)
Haha! F... - 11:12 CoCoA-5 Feature #1293: Vim Plugin for CoCoA
- Sorry, I cannot stop myself thinking of this xkcd: https://xkcd.com/378/ ;-)
- 17:26 CoCoA-5 Bug #1274: SortBy and SortedBy sometimes give wrong result
- can you send me the line you added?
- 05:40 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- In order to minimize the output of the GB we added the reduction via the GCD of the LCs to the computation of the min...
30 May 2019
- 14:10 CoCoA-5 Feature #1293 (Resolved): Vim Plugin for CoCoA
- Julian and I created a CoCoa plugin for Vim that provides some basic syntax highlighting, indentation and snippets: h...
- 12:10 CoCoA-5 Design #1292 (New): Interpreter: fns which accept INT or RAT
- There are quite a few functions which accept as arg @INT@ or @RAT@.
The current solution is to call @evalArgAsT1or... - 04:38 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- I have to prepare the package, now it is just a collection of functions. After that for me is fine, we can do it!
...
29 May 2019
- 11:53 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- Florian Walsh wrote:
> So here is my implementation. It is based on this thesis https://kluedo.ub.uni-kl.de/files/44... - 11:43 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- So here is my implementation. It is based on this thesis https://kluedo.ub.uni-kl.de/files/4457/phd.pdf by A. Popescu...
- 11:28 CoCoA-5 Feature #1289: assert-function for cocoa5
- May I ask why you want to have assertions which can be globally enabled/disabled?
[I know that this is what we do in... - 11:03 CoCoA-5 Feature #1289: assert-function for cocoa5
- Thank you, it works flawlessly (with the C++ impl).
However, I think it would be better it there would be some kind ...
28 May 2019
- 14:45 CoCoALib Feature #1283 (In Progress): Printing for (prime) finite fields
- I am aware that in CoCoALib one can create two rings which are essentially "identical", but are not considered as bei...
- 10:38 CoCoA-5 Feature #1289: assert-function for cocoa5
- Here is a potential impl:...
- 10:32 CoCoA-5 Feature #1289: assert-function for cocoa5
- Would someone like to post a couple of hypothetical examples of how you might like to use this feature (so that we ca...
27 May 2019
- 21:17 CoCoA-5 Bug #1291 (New): LinearSimplify: somtimes not optimal
- Sometimes @LinearSimplify@ could produce a simpler result:...
- 14:35 CoCoA-5 Feature #1290 (Resolved): NewPolyRing: allow symbols with just head and no indices?
- I have modified the fn @evalArgAsListOfSymbols@ so that it accepts records with just a @head@ field and no @indices@ ...
- 13:51 CoCoA-5 Feature #1290: NewPolyRing: allow symbols with just head and no indices?
- John Abbott wrote:
> The manual page for @NewPolyRing@ could be improved (and made shorter).
> I find the discussio... - 13:49 CoCoA-5 Feature #1290: NewPolyRing: allow symbols with just head and no indices?
- I agree: ok for treating "no indices" as "empty indices".
- 13:26 CoCoA-5 Feature #1290: NewPolyRing: allow symbols with just head and no indices?
- The manual page for @NewPolyRing@ could be improved (and made shorter).
I find the discussion about @::=@ to be an u... - 13:21 CoCoA-5 Feature #1290 (Closed): NewPolyRing: allow symbols with just head and no indices?
- It seems superfluous to have to specify an empty list of indices if one wants no indices; should we allow the @indice...
- 14:08 CoCoA-5 Feature #1289 (In Progress): assert-function for cocoa5
- True. In fact, most of tests in @src/CoCoA-5/tests@ contain this function (which does a few more things)...
- 13:19 CoCoA-5 Feature #1289 (Closed): assert-function for cocoa5
- For debugging purposes an 'assert'-function comparable to COCOA_ASSERT (from CoCoALib) would be useful.
(One can a...
24 May 2019
- 17:43 CoCoA-5 Bug #1288: len for RINGELEM ?!?
- The source code for the function @len@ is in file @BuiltinFunctions-CoCoALib.C@ around line 100.
The code recognis... - 16:25 CoCoA-5 Bug #1288: len for RINGELEM ?!?
- The manual entry for @len@ looks a bit strange, and is hard to read. It says the fn signature is...
- 16:22 CoCoA-5 Bug #1288 (Closed): len for RINGELEM ?!?
- I was surprised to discover that @len@ can be applied to a @RINGELEM@....
- 04:18 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- We also wrote a prototype implementation of GBasis over ZZ. In particular we focused on minimal strong GBasis. Maybe ...
23 May 2019
- 15:13 CoCoA-5 Support #1287 (In Progress): Better err mesg for easy typo in ring definition
- The relevant source code is in @Parser.C@ around line 360 in the function @parseUseStatement@.
I think it may be ... - 12:16 CoCoA-5 Support #1287 (Closed): Better err mesg for easy typo in ring definition
- Consider this excerpt:...
- 11:53 CoCoA-5 Feature #1285: New Fn: make a homogeneous list of ringelem
- What exactly should the function do? What should it be called?
* *(A)* simplest is to accept @RINGELEM@ and @INT@... - 11:30 CoCoA-5 Feature #1285 (New): New Fn: make a homogeneous list of ringelem
- Proposal: create a new function which takes a ring and a list, and returns a list of RINGELEM belonging to the speci...
- 11:48 CoCoA-5 Bug #1286: Website: trouble with the world map
- I'm very unhappy about the CPU "burning" (it might well be a Google revenge tactic).
Also after visiting the page ... - 11:46 CoCoA-5 Bug #1286 (Closed): Website: trouble with the world map
- The world map showing where visitors to the CoCoA website come from causes trouble in "private mode" in Firefox:
* t... - 11:23 CoCoA-5 Design #1120: Web site
- Should we close this? Ater all 5.2.4 has been released.
What about the problem with "forever loading"?
- 11:17 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- Florian Walsh (Passau) has an prototype implementation of GBasis over ZZ, currently as a package in CoCoA-5. He is w...
Also available in: Atom