-
Notifications
You must be signed in to change notification settings - Fork 163
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Collection of minor improvements #618
Conversation
- DerivedSubgroup for (subgroups of) fp groups sets the abelian invariants and tests whether the abelian quotinet is infinite - MaximalAbelianQuotient for fp groups sets the abelian invariants of the group - Derived series does not insist on comparing subgroups if termination can be assessed differently. This fixes the issue that was mentioned in gap-system#584.
in case the representation is only Plist.
A test for the crisp package assumes that PcgsElementaryAbelianSeries can be called for an fp group that does not yet know to be finite, and the solvability test does not imply finite. As the main library cannot edit this package test, this needs to be changed so the standard test suite runs through.
@@ -485,6 +485,8 @@ DeclareOperation("GroebnerBasis", | |||
DeclareOperation("GroebnerBasis",[IsPolynomialRingIdeal,IsMonomialOrdering]); | |||
DeclareGlobalFunction("GroebnerBasisNC"); | |||
|
|||
DeclareSynonym("GrobnerBasis",GroebnerBasis); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lib/helpbase.gi
defines global variable TRANSATL
which is currently
[ [ "atalogue", "atalog" ],
[ "olour", "olor" ],
[ "entre", "enter" ],
[ "isation", "ization" ],
[ "ise", "ize" ],
[ "abeling", "abelling" ],
[ "olvable", "oluble" ],
[ "yse", "yze" ] ] );
Do we want to add ["Groebner","Grobner"] pair there so the search ??Grobner
will return all entries with Groebner? The only thing that stops me is that I do not know whether this spelling (or misspelling) is relevant to the Atlantic ocean...
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If that would not be considered as a gratuitous abouse of the language feature, I'd be happy to do so.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maxima uses Groebner
in the text in the manual, but grobner
as a name of the package and some functions that it provides, so perhaps this makes sense.
Further Gro(e)bner translation
…wers. This resolves a^10000, not (ab)^10000, but will already help in many cases. This addition comes riding shotgun on others but has been the source for recent complaints.
Collection of minor improvements Married, as no problems arose.
As pull request to get the automatic tests.
e5eb and 2f6a are in response to reported problems.
There should be no obstacle (apart from the branch being on `master' to moving selected changes also to 4.8