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 <https://en.wikipedia.org/wiki/Computer_algebra>. She is known for her early research on Gröbner bases <https://en.wikipedia.org/wiki/Gr%C3%B6bner_basis> including her discovery of the FGLM algorithm <https://en.wikipedia.org/wiki/FGLM_algorithm> for changing monomial orderings in Gröbner bases, and for her development of the components of the Axiom computer algebra system <https://en.wikipedia.org/wiki/Axiom_(computer_algebra_system)> concerning polynomials <https://en.wikipedia.org/wiki/Polynomial> and rational functions <https://en.wikipedia.org/wiki/Rational_function>. Gianni is a professor of algebra in the mathematics department of the University of Pisa <https://en.wikipedia.org/wiki/University_of_Pisa>. She earned a laurea <https://en.wikipedia.org/wiki/Laurea> from the University of Pisa, and has worked for IBM Research <https://en.wikipedia.org/wiki/IBM_Research> as well as for the University of Pisa. On Friday, December 1, 2023 at 3:01:41 AM UTC-5 [email protected] wrote: > 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 ([email protected]). > src/algebra/xlpoly.spad:++ \spadtype{XPBWPolynomial}. \newline Author > : Michel Petitot ([email protected]). > 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 > > Le ven. 1 déc. 2023 à 08:48, Grégory Vanuxem <[email protected]> a écrit : > > > > 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 > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/3d3bd117-78c1-4ad4-866b-6f896566d7a4n%40googlegroups.com.
