Little "typos" in multsqfr.spad

[Grégory Vanuxem]

Hello,

I don't know where to put this so I put it here.

In multsqfr.spad the '++' Author section of the package documentation reads:

++Author : P.Gianni

So first there is a missing space after '++' and the use of a space
before the colon does not conform to English I think, in France this
is mandatory. From memory Patricia Gianni is a French woman or at
least worked in France. I found this by chance trying Waldek's
assertion on '==' vs '==>' because my VSCode extension badly parsed
this "section".

I grepped the *.spad file, missing space after '++' and space before
colon happens only in this file.

Maybe this can be modified in another commit.

- Greg

[Grégory Vanuxem]

Sorry, my error, I only checked Author "section", the use of space
before colon in '++' category/domain/package documentation is also
used in other files.

┌──(greg㉿ellipse)-[~/Git/offfricas]
└─$ grep -r '^\+\+.* : ' src/algebra/
src/algebra/twofact.spad:++ Authors : P.Gianni, J.H.Davenport
src/algebra/twofact.spad:++ Date Created : May 1990
src/algebra/leadcdet.spad:++ Author : P.Gianni, May 1990
src/algebra/poltopol.spad:++ Author : P.Gianni, Summer '88
src/algebra/multsqfr.spad:++Author : P.Gianni
src/algebra/derham.spad:++ Date : 03/01/89; revised 03/17/89; revised 12/02/90.
src/algebra/derham.spad:++ Date : 01/26/91.
src/algebra/derham.spad:++ Revised : 30 Nov 94
src/algebra/derham.spad:++ Date : 01/26/91.
src/algebra/derham.spad:++ Revised : 12/01/91.
src/algebra/mlift.spad:++ Author : P.Gianni.
src/algebra/xlpoly.spad:++ Author : Michel Petitot (pet...@lifl.fr).
src/algebra/xlpoly.spad:++ \spadtype{XPBWPolynomial}. \newline Author
: Michel Petitot (pet...@lifl.fr).
src/algebra/any.spad:++ that if \spad{s : S} then when converted to
\spadtype{Any}, the new
src/algebra/fnla.spad:++ Author : Larry Lambe
src/algebra/fnla.spad:++ Date created : 14 August 1988
src/algebra/fnla.spad:++ Description : A domain used in order to take
the free R-module on the
src/algebra/fnla.spad:++ Author : Larry Lambe
src/algebra/fnla.spad:++ Updated : 10 March 1991
src/algebra/fnla.spad:++ Author : Larry Lambe
src/algebra/fnla.spad:++ Date Created : August 1988
src/algebra/fnla.spad:++ Description : Generate a basis for the free
Lie algebra on n
src/algebra/geneez.spad:++ Author : P.Gianni.
src/algebra/ghensel.spad:++ Author : P.Gianni
src/algebra/perman.spad:++ Nijenhuis and Wilf : Combinatorical
Algorithms, Academic
src/algebra/perman.spad:++ Nijenhuis and Wilf : Combinatorical
Algorithms, Academic
src/algebra/graph.spad:+" (Sum) : disjoint union of nodes with arrows
from appropriate input
src/algebra/groebsol.spad:++ Author : P.Gianni, Summer '88, revised November '89
src/algebra/npcoef.spad:++ Author : P.Gianni, revised May 1990

[Tim Daly]

I worked with Patrizia at IBM Research on the Axiom project.

She is a very clever and interesting researcher.

From Wikipedia we find:

Patrizia M. Gianni is an Italian mathematician specializing in computer algebra.

She is known for her early research on Gröbner bases including her discovery of

the FGLM algorithm for changing monomial orderings in Gröbner bases, and for

her development of the components of the Axiom computer algebra system

concerning polynomials and rational functions.

Gianni is a professor of algebra in the mathematics department of the

 University of Pisa. She earned a laurea from the University of Pisa, and has

worked for IBM Research as well as for the University of Pisa.

[Grégory Vanuxem]

Thanks Tim,

Ralf pointed out to me that yes, she is in fact Italian. As I said to
Ralf, when I began to learn Axiom, some time ago now, I searched for
some information about library authors. This morning I found out that
she worked with Sorbonne University, I guess this is why I thought she
worked in France or was French
(https://dl.acm.org/profile/81100512392/colleagues). I also guessed,
from that link, you probably worked with her ;)

- Greg

BTW: the only file where a space is missing after colon for
category/domain/package is multsqfr.spad I think. I made a mistake,
and am fed up sometimes struggling with TypeScript/grep/Perl (pcre)
idiosyncrasies.

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/3d3bd117-78c1-4ad4-866b-6f896566d7a4n%40googlegroups.com.

[Waldek Hebisch]

On Fri, Dec 01, 2023 at 08:48:33AM +0100, Grégory Vanuxem wrote:
> Hello,
>
> I don't know where to put this so I put it here.
>
> In multsqfr.spad the '++' Author section of the package documentation reads:
>
> ++Author : P.Gianni
>
> So first there is a missing space after '++'

I think we should correct this.

> and the use of a space
> before the colon does not conform to English I think, in France this
> is mandatory.

Well, this is clearly not a normal text so beyond English rules.
I code I use rule that there is space on _both_ sides of ':'.
':' an operator with different meaning than textual role of ':'...
In structured comments ':' is motivated by textual use, but it
is used as markup element, so I would not insist on removing
space.

--
Waldek Hebisch