Activity
From 03 Sep 2020 to 02 Oct 2020
02 Oct 2020
-
21:46 CoCoALib Feature #1405 (Closed): New fn: interreduction
- Closed because this is a duplicate of #1488
-
21:05 CoCoA-5 Design #1495: Package exporting nothing?
- Prototype still needs to be cleaned... not today!
-
14:22 CoCoA-5 Design #1495: Package exporting nothing?
- Here are the tests we should make:
* *(1)* package with no @export@ commands (warning, as now)
* *(2)* package w... -
14:03 CoCoA-5 Design #1495: Package exporting nothing?
- I have written a first prototype. It compiles and seems to do the right thing, but I must do some more testing.
The... -
11:31 CoCoA-5 Design #1495 (In Progress): Package exporting nothing?
- From #1477 point (C)
proposed syntax *@export skip;@* -
11:30 CoCoA-5 Design #1495 (Closed): Package exporting nothing?
- It may be useful to make a package exporting no function: currently it gives a warning.
Choose an explicit syntax ... -
20:56 CoCoALib Feature #1436: Flatten for a matrix
- I have checked in the code.
The fn names are *@FlattenByRows@* and *@FlattenByCols@*; it seems unnecessary to have @... -
17:03 CoCoALib Feature #1436 (Resolved): Flatten for a matrix
- I have written a first impl (in @MatrixOps-flatten.C@).
Added doc.
No tests yet.
-
20:32 CoCoALib Support #1497 (New): Doc for normaliz fns
- We need some doc for the normaliz functions!
-
20:30 CoCoALib Support #1494 (Resolved): Normaliz 3.8.9
- I have refreshed the script @normaliz-version.sh@ and updated @configure@ to use it and check that the version is at ...
-
16:38 CoCoA-5 Bug #1489 (Resolved): Unhelpful error message for package followed by identifier (without dollar sign)
- It seems that the root cause was in @LexemeClass@... which was poorly written (by me?).
I have rewritten it, and all... -
12:00 CoCoA-5 Design #1496: Use "special" names for variables inside tests
- Here is a list of the tests: we can remove the ones which have been checked/updated....
-
11:54 CoCoA-5 Design #1496: Use "special" names for variables inside tests
- *COPIED FROM COMMENT 3 in #1294*
One possibility is simply to use names which start with underscore: this is allow... -
11:53 CoCoA-5 Design #1496 (Rejected): Use "special" names for variables inside tests
- To avoid problems with name clashes the names of variables inside test scripts these variable should have "special" n...
-
11:58 CoCoA-5 Feature #1415: thmproving package
- John Abbott wrote:
> Any news about this package?
> Can we close this issue quickly and easily?
ok, working on i... -
11:43 CoCoA-5 Support #692 (Rejected): Local variables hiding out ones at top level
- After a Skype discussion we have decided to leave things as they are: while not perfect (and sometimes annoying) the ...
-
07:54 CoCoA-5 Bug #1200 (Closed): Package exported function: wrong package name
- John Abbott wrote:
> Is this even a bug?
> In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by... -
07:36 CoCoA-5 Design #1493: Automatic ring mapping in assignment?
- John Abbott wrote:
> My "gut feeling" is that it should work... I expect it to work (perhaps because the destination... -
07:24 CoCoA-5 Design #1477: Packages: questions from Andraschko
- John Abbott wrote:
> Regarding point *(C)* _why must a package export at least 1 function?_
> We could also allow s...
30 Sep 2020
-
17:36 CoCoA-5 Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign)
- It looks like the error mesg was generated by @Parser.H:159@.
There is also a comment in the code referring to #673.... -
17:29 CoCoA-5 Design #1493: Automatic ring mapping in assignment?
- My "gut feeling" is that it should work... I expect it to work (perhaps because the destination ring is well defined?...
-
14:08 CoCoALib Support #1494: Normaliz 3.8.9
- Now it compiles for me. But I did not find any doc about which functions CoCoALib/CoCoA-5 make available when Normal...
-
11:57 CoCoALib Support #1494 (In Progress): Normaliz 3.8.9
- I have made the change, and CoCoALib now compiles, but I do not know whether it really does what people might expect....
-
11:14 CoCoALib Support #1494: Normaliz 3.8.9
- I have changed the include directives to include only *@libnormaliz/libnormaliz.h@* which includes all Normaliz heade...
-
11:09 CoCoALib Support #1494 (Closed): Normaliz 3.8.9
- At the moment CoCoALib is *not compatible* with Normaliz 3.8.9 (recently released, late Sept 2020).
Making it comp... -
11:43 CoCoA-5 Design #1477: Packages: questions from Andraschko
- Regarding point *(C)* _why must a package export at least 1 function?_
A work-around would be to create a function...
29 Sep 2020
-
13:19 CoCoALib Feature #562: Subrings
- Which sorts of subring would we like to represent?
* *(A)* in a polyring a subring generated by a subset of the inde... -
13:12 CoCoALib Feature #1468 (In Progress): Adjoin indets to a poly ring
- What should new indets be called? Should they be "new symbols"? Advantage is that there could be no problems with n...
28 Sep 2020
-
16:40 CoCoA-5 Design #1493 (Closed): Automatic ring mapping in assignment?
- We have partly implemented automatic conversion of ring elements (_e.g._ in multiplication).
Should it also work for... -
15:08 CoCoA-5 Support #1486 (In Progress): Emacs UI: indentation in a package
- I suspect that the relevant part to be changed is the defn of *@cocoa5-beg-block-re@* around line 286 in @cocoa5.el@....
-
13:51 CoCoALib Feature #1492: submat of a submat
- The reason for thinking of this is that the current impl of *@DetByMinors@* is disaapointingly slow on @IdentityMat(Q...
-
13:48 CoCoALib Feature #1492 (New): submat of a submat
- It might be worth refining the impl of *@submat@* so that @submat(submat(M,R1,C1),R2,C2)@ is "clever" and returns a s...
25 Sep 2020
-
17:44 CoCoALib Feature #1490 (In Progress): New function: MinusOneToPower
- It would be tricky to call the function @power@ because I want the return type to be @long@ (or even @int@) rather th...
-
16:21 CoCoALib Feature #1490: New function: MinusOneToPower
- John Abbott wrote:
> There is a very simple inline impl:
> [...]
>
> If we do accept this fn, in which (header) ... -
13:37 CoCoALib Feature #1490: New function: MinusOneToPower
- There is a very simple inline impl:...
-
13:35 CoCoALib Feature #1490 (Rejected): New function: MinusOneToPower
- I have just seen in the code for matrix adjoint *@power(-1, i+j)@*.
It would be nice to have a simpler function for ... -
17:06 CoCoALib Feature #1436: Flatten for a matrix
- it is only used in *RingElem MinPoly(ConstMatrixView M, ConstRefRingElem x)*.
-
11:13 CoCoALib Feature #1436: Flatten for a matrix
- Some notes:
* *(A)* there are already the functions @GetRows@ and @GetCols@ which return a @vector<vector<RingElem>>... -
16:58 CoCoALib Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog
- John Abbott wrote:
> *CHECKED ON 2020-09-25* the example in the description now works.
>
> Has this been fixed? ... -
11:18 CoCoALib Bug #1423 (In Progress): Radical 0-dim NYI? missing case for GBasisByHomog
- *CHECKED ON 2020-09-25* the example in the description now works.
Has this been fixed? By whom? Can we close th... -
16:16 CoCoALib Feature #1472: Idea for for loops
- just wondering: (I know it's low priority) is this any better than the standard syntax?
-
11:04 CoCoALib Feature #1472 (In Progress): Idea for for loops
- Anna's suggestion of *@range(1,n)@* _etc._ seems simple, clear, flexible.
The intention is that both values are incl... -
15:16 CoCoALib Support #1263 (Resolved): Tidy CoCoALib test directory
- I have now merged all "exbugs" into a single file called *@test-exbugs.C@* (with corr expected output in @test-exbug...
-
14:58 CoCoALib Bug #1331: adj: for matrices 7x7 and bigger
- I have added a test to @test-bug1.C@
-
14:52 CoCoALib Bug #1331: adj: for matrices 7x7 and bigger
- Now I have split @DetDirect@ into two fns: one generic and one for sparsepolyrings (where I can use geobuckets)
-
14:35 CoCoALib Bug #1331 (Resolved): adj: for matrices 7x7 and bigger
- There were two problems:
* *(A)* the dispatch function @ConstMatrixViewBase::myDet@ in @matrix.C@ was rather crude
... -
14:05 CoCoALib Design #1491 (New): Unified Gaussian reduction impl
- It would be nice to make a single unified Gaussian reduction impl (if poss).
Anyway, currently there are too many im... -
14:02 CoCoALib Support #1196 (Resolved): Split MatrixOps
- This is now mostly done.
There are now 7 files: original, adj, arith, det, KroneckerProd, LinKerZZ, norms, rank, r... -
11:20 CoCoALib Feature #1405: New fn: interreduction
- Is this a duplicate of #1488?
-
10:51 CoCoALib Design #1463 (Resolved): SmoothFactor: use FactorMultiplicity
- I have made a reasonable impl more or less following *(B)*.
There is a new non-exported fn which computes multiplici...
23 Sep 2020
-
11:22 CoCoA-5 Bug #1200: Package exported function: wrong package name
- Is this even a bug?
In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by a package called *@expe... -
11:19 CoCoA-5 Bug #1200: Package exported function: wrong package name
- The relevant line appears to be *@Interpreter.C:4289@*.
Here is a test input which triggers the bug:... -
11:09 CoCoA-5 Bug #1200: Package exported function: wrong package name
- I am postponing this because it is not so important/urgent, and looks like it might be quick tricky to solve :-/
-
11:06 CoCoA-5 Support #692 (In Progress): Local variables hiding out ones at top level
- I think I now prefer not to issue a warning in the examples given here.
If CoCoA issues too many warnings then the u... -
10:42 CoCoA-5 Bug #1294 (Resolved): CoCoA-5 tests may fail even if executed correctly
- I have implemented option *(A)* and checked it in. I chose *(A)* because it is relatively simple to implement.
Wait...
17 Sep 2020
-
16:09 CoCoA-5 Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign)
- The following produces a misleading error message...
-
16:06 CoCoA-5 Feature #1415: thmproving package
- Any news about this package?
Can we close this issue quickly and easily? -
15:59 CoCoA-5 Bug #1294: CoCoA-5 tests may fail even if executed correctly
- I have modified the script @RunTests.sh@ so that it first runs CoCoA with an empty input (*@/dev/null@*).
If that pr...
16 Sep 2020
-
16:23 CoCoALib Feature #1488: BuiltIn Interreduce-Function
- Might it be useful to sort elements inside the interreduction loop according to a more "sophisticated" ordering: _e.g...
-
15:41 CoCoALib Feature #1488: BuiltIn Interreduce-Function
- I have now put my version of the impl in a new file *@SparsePolyOps-interreduce.C@* with corresponding header file.
... -
14:45 CoCoALib Feature #1488 (In Progress): BuiltIn Interreduce-Function
- Here is my revised version of the source code. It could surely be made faster, but this version is relatively simple...
15 Sep 2020
-
15:20 CoCoA-5 Bug #1294 (In Progress): CoCoA-5 tests may fail even if executed correctly
- Your comment about a protected variable causing trouble is a good point (albeit also rather abstruse).
We should u... -
14:35 CoCoA-5 Bug #1294: CoCoA-5 tests may fail even if executed correctly
- Yes, I think that would be an improvement, but also only solve the issue partly. Still if for instance @init.cocoa5@ ...
-
14:06 CoCoALib Feature #1488 (Closed): BuiltIn Interreduce-Function
- The function @interreduce@ is implemented in CoCoA-5, and the implementation (@NotBuiltin.cpkg5@) can be translated i...
-
13:11 CoCoA-5 Feature #1487 (Closed): EOF for OpenIFile
- To read a local file one needs to open an input device via @D:=OpenIFile("path_to_file")@ and read it line-by-line vi...
14 Sep 2020
-
18:19 CoCoA-5 Support #1486: Emacs UI: indentation in a package
- JAA is uncertain about this.
On the one hand the "strange" indentation of package variable assignments highlights ... -
18:16 CoCoA-5 Support #1486 (In Progress): Emacs UI: indentation in a package
- Bernhard Andraschko reports the following anomaly.
Inside a package variables are indented, but all other package ... -
18:11 CoCoALib Feature #1485 (New): Simple syntax for making a quotient ring?
- The syntax *@R/I@* would be convenient and easy to read.
At the moment I do not see how it could be "dangerous" un... -
17:56 CoCoALib Feature #1485 (Resolved): Simple syntax for making a quotient ring?
-
17:47 CoCoALib Feature #1485 (New): Simple syntax for making a quotient ring?
- Should we allow the syntax *@R/I@* to mean the same as *@NewQuotientRing(R,I)@*?
Discuss, and maybe implement.
-
18:08 CoCoALib Bug #1484 (Resolved): ker bug (quotientinghom for R/ideal())
- There are two more suspect creations of ideals: line 325 and 347.
I have changed these too, but am less sure that wh... -
18:07 CoCoALib Bug #1484: ker bug (quotientinghom for R/ideal())
- I have blindly changed the code in @HomomorphismOps.C@.
The problem was in @MakeRichHom@ (and presumably an analogo... -
17:38 CoCoALib Bug #1484 (Closed): ker bug (quotientinghom for R/ideal())
- Bernhard Andraschko reports the following bug:...
-
13:10 CoCoALib Feature #1483 (Feedback): IsPowerOf2 for rationals
- Added new function *@IsPowrerOf2@* for @BigRat@. Gives @false@ if arg is not strictly positive.
Impl is simple rath... -
13:08 CoCoALib Feature #1483 (Closed): IsPowerOf2 for rationals
- Add new function *@IsPowerOf2@* for @BigRat@.
It already exists for @BigInt@.
Also available in: Atom