This attachment contains over a dozen doc and typo fixes,
please review.
(BTW Waldek, there is a new user asking about riscv support
https://github.com/fricas/fricas/issues/182, I hope my previous
mail about updating autoconf stuff is not lost in the mail system.
Also my previous mails about ")ltrace", ")savesystem" and "musl".)
- Qian
--
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/49e3894d-69c7-48be-a33c-efc8f7a54a67%40gmail.com.
diff --git a/configure.ac b/configure.ac
index dad906ea..ad521a4b 100644
--- a/configure.ac
+++ b/configure.ac
@@ -785,7 +785,7 @@ case $target in
LDF="-L/usr/local/lib"
;;
*darwin*)
- AC_DEFINE([MACOSXplatform], [], [MACOX flavour])
+ AC_DEFINE([MACOSXplatform], [], [MACOS flavour])
CCF="-O2 -Wall -D_GNU_SOURCE"
;;
esac
diff --git a/doc/algebra_build.txt b/doc/algebra_build.txt
index 600b3041..8797b764 100644
--- a/doc/algebra_build.txt
+++ b/doc/algebra_build.txt
@@ -91,7 +91,7 @@ normal mode (this is done by the 'oboo3.input' input file
generated from the makefile).
The first four stages are purely sequential. In stage 3
-and 4 categories and core domains are compiled in order, so
+and 4 categories and core domains are compiled in order, so
that dependencies came before constructors needing them. After
that we are ready to compile the rest of algebra in arbitrary
order. In fact, since all constructors which we need to
diff --git a/src/algebra/curve.spad b/src/algebra/curve.spad
index 629620f8..93110cac 100644
--- a/src/algebra/curve.spad
+++ b/src/algebra/curve.spad
@@ -588,7 +588,7 @@ ChangeOfVariable(F, UP, UPUP) : Exports == Implementation where
++ Date Created: 1987
++ Keywords: algebraic, curve, radical, function, field.
++ Description: Function field defined by y^n = f(x);
-++ Examples: )r RADFF INPUT
+++ Examples: )r radff.input
RadicalFunctionField(F, UP, UPUP, radicnd, n) : Exports == Impl where
F : UniqueFactorizationDomain
UP : UnivariatePolynomialCategory F
@@ -784,7 +784,6 @@ RadicalFunctionField(F, UP, UPUP, radicnd, n) : Exports == Impl where
++ Date Created: 3 May 1988
++ Keywords: algebraic, curve, function, field.
++ Description: Function field defined by f(x, y) = 0.
-++ Examples: )r ALGFF INPUT
AlgebraicFunctionField(F, UP, UPUP, modulus) : Exports == Impl where
F : Field
UP : UnivariatePolynomialCategory F
diff --git a/src/algebra/divisor.spad b/src/algebra/divisor.spad
index 5407d522..6468e805 100644
--- a/src/algebra/divisor.spad
+++ b/src/algebra/divisor.spad
@@ -2,7 +2,6 @@
++ Author: Manuel Bronstein
++ Date Created: 27 Jan 1989
++ Keywords: ideal, algebra, module.
-++ Examples: )r FRIDEAL INPUT
++ Description: Fractional ideals in a framed algebra.
FractionalIdeal(R, F, UP, A) : Exports == Implementation where
R : EuclideanDomain
@@ -464,7 +463,6 @@ ModularHermitianRowReduction(R) : Exports == Implementation where
++ Author: Manuel Bronstein
++ Date Created: 27 Jan 1989
++ Keywords: ideal, algebra, module.
-++ Examples: )r FRIDEAL INPUT
++ Description: Module representation of fractional ideals.
FractionalIdealAsModule(R, F, UP, A, ibasis) : Exports == Implementation where
R : EuclideanDomain
@@ -571,7 +569,7 @@ FractionalIdealAsModule(R, F, UP, A, ibasis) : Exports == Implementation where
++ is finite formal sums SUM(n * P) where the n's are integers and the
++ P's are finite rational points on the curve.
++ Keywords: divisor, algebraic, curve.
-++ Examples: )r FDIV INPUT
+++ Examples: )r divisor.input
FiniteDivisorCategory(F, UP, UPUP, R) : Category == Result where
F : Field
UP : UnivariatePolynomialCategory F
@@ -640,7 +638,6 @@ FiniteDivisorCategory(F, UP, UPUP, R) : Category == Result where
++ P's are finite rational points on the curve.
++ The equation of the curve must be y^2 = f(x) and f must have odd degree.
++ Keywords: divisor, algebraic, curve.
-++ Examples: )r FDIV INPUT
HyperellipticFiniteDivisor(F, UP, UPUP, R) : Exports == Implementation where
F : Field
UP : UnivariatePolynomialCategory F
@@ -816,7 +813,7 @@ HyperellipticFiniteDivisor(F, UP, UPUP, R) : Exports == Implementation where
++ is finite formal sums SUM(n * P) where the n's are integers and the
++ P's are finite rational points on the curve.
++ Keywords: divisor, algebraic, curve.
-++ Examples: )r FDIV INPUT
+++ Examples: )r divisor.input
FiniteDivisor(F, UP, UPUP, R) : Exports == Implementation where
F : Field
UP : UnivariatePolynomialCategory F
diff --git a/src/algebra/elemntry.spad b/src/algebra/elemntry.spad
index 407bbe0d..f3ad2e01 100644
--- a/src/algebra/elemntry.spad
+++ b/src/algebra/elemntry.spad
@@ -2,7 +2,7 @@
++ Author: Manuel Bronstein
++ Date Created: 1987
++ Keywords: elementary, function, logarithm, exponential.
-++ Examples: )r EF INPUT
+++ Examples: )r elemfun.input
++ Description: Provides elementary functions over an integral domain.
ElementaryFunction(R, F) : Exports == Implementation where
R : Join(Comparable, IntegralDomain)
diff --git a/src/algebra/intef.spad b/src/algebra/intef.spad
index 181bdc31..5e08f951 100644
--- a/src/algebra/intef.spad
+++ b/src/algebra/intef.spad
@@ -7,7 +7,6 @@
++ extended integration and the risch differential equation for
++ elemntary functions.
++ Keywords: elementary, function, integration.
-++ Examples: )r INTEF INPUT
ElementaryIntegration(R, F) : Exports == Implementation where
R : Join(GcdDomain, Comparable, CharacteristicZero,
PolynomialFactorizationExplicit,
diff --git a/src/algebra/integrat.spad b/src/algebra/integrat.spad
index c2d084b9..dbfecec8 100644
--- a/src/algebra/integrat.spad
+++ b/src/algebra/integrat.spad
@@ -120,7 +120,6 @@ FunctionSpaceComplexIntegration(R, F) : Exports == Implementation where
++ Description:
++ \spadtype{FunctionSpaceIntegration} provides functions for the
++ indefinite integration of real-valued functions.
-++ Examples: )r INTEF INPUT
FunctionSpaceIntegration(R, F) : Exports == Implementation where
R : Join(GcdDomain, Comparable, CharacteristicZero,
PolynomialFactorizationExplicit,
diff --git a/src/algebra/intrf.spad b/src/algebra/intrf.spad
index efc812b7..e66751a3 100644
--- a/src/algebra/intrf.spad
+++ b/src/algebra/intrf.spad
@@ -600,7 +600,6 @@ RationalIntegration(F, UP) : Exports == Implementation where
++ Description:
++ This package provides functions for the integration
++ of rational functions.
-++ Examples: )r INTRF INPUT
RationalFunctionIntegration(F) : Exports == Implementation where
F : Join(IntegralDomain, RetractableTo Integer, CharacteristicZero)
diff --git a/src/algebra/liouv.spad b/src/algebra/liouv.spad
index 6192b489..38c3dc70 100644
--- a/src/algebra/liouv.spad
+++ b/src/algebra/liouv.spad
@@ -2,7 +2,6 @@
++ Author: Manuel Bronstein
++ Date Created: 1987
++ Keywords: liouvillian, function, primitive, exponential.
-++ Examples: )r LF INPUT
++ Description:
++ This package provides liouvillian functions over an integral domain.
LiouvillianFunction(R, F) : Exports == Implementation where
diff --git a/src/algebra/pfo.spad b/src/algebra/pfo.spad
index 22deba96..7ec1b234 100644
--- a/src/algebra/pfo.spad
+++ b/src/algebra/pfo.spad
@@ -124,7 +124,6 @@ PointsOfFiniteOrderTools(UP, UPUP) : Exports == Implementation where
++ This package provides function for testing whether a divisor on a
++ curve is a torsion divisor.
++ Keywords: divisor, algebraic, curve.
-++ Examples: )r PFOQ INPUT
-- Currently unused.
PointsOfFiniteOrderRational(UP, UPUP, R) : Exports == Implementation where
UP : UnivariatePolynomialCategory Fraction Integer
@@ -263,7 +262,6 @@ FunctionSpaceReduce(R, F) : Exports == Implementation where
++ This package provides function for testing whether a divisor on a
++ curve is a torsion divisor.
++ Keywords: divisor, algebraic, curve.
-++ Examples: )r PFO INPUT
PointsOfFiniteOrder(R0, F, UP, UPUP, R) : Exports == Implementation where
R0 : Join(Comparable, IntegralDomain, RetractableTo Integer)
F : FunctionSpace R0
diff --git a/src/doc/api.spad b/src/doc/api.spad
index 744d3f34..97473e55 100644
--- a/src/doc/api.spad
+++ b/src/doc/api.spad
@@ -569,9 +569,9 @@ ConstructorDataBaseTools: with
++ The data of a constructor.
ConstructorData: CoercibleTo(OutputForm) with
constructorData: String -> %
- ++ constructorData(s) creates a datastructure that contains
- ++ enough information create documentation for the constructor with
- ++ identifier x.
+ ++ constructorData(s) creates a data structure that contains
+ ++ enough information to create documentation for the constructor with
+ ++ identifier s.
identifier: % -> String
++ identifier(x) returns the identifier of the constructor, i.e., the
++ name of the constructor without any arguments.
@@ -595,7 +595,7 @@ ConstructorData: CoercibleTo(OutputForm) with
++ argumentIdentifiers(x). Best used as
++ explicitExports(x, argumentIdentifiers x).
categoryExports: % -> CATEXPORTS
- ++ categoryExports!(x) returns all signatures and categories together
+ ++ categoryExports(x) returns all signatures and categories together
++ with their origins, their conditions and docstrings.
++ For efficiency reasons the first call stores that data into the
++ structure x.
diff --git a/src/doc/htex/ug04.htex b/src/doc/htex/ug04.htex
index 4fa6d717..d2232d14 100644
--- a/src/doc/htex/ug04.htex
+++ b/src/doc/htex/ug04.htex
@@ -353,7 +353,7 @@ To turn on \TeX{} output formatting, issue this.
}
Here is an example of its output.
\begin{verbatim}
-matrix [[i*x^i + j*\%i*y^j for i in 1..2] for j in 3..4]
+matrix [[i*x^i + j*%i*y^j for i in 1..2] for j in 3..4]
\begin{fricasmath}{1}
\begin{MATRIX}{2}3\TIMES \ImaginaryI \TIMES \SUPER{\SYMBOL{y}}{3}+\SYMBOL{x}&%
diff --git a/src/input/eigen.input b/src/input/eigen.input
index 61d2d205..d1987067 100644
--- a/src/input/eigen.input
+++ b/src/input/eigen.input
@@ -65,7 +65,7 @@ mm:=matrix([[30,4,24],[-17,8,-7],[-31,-54,-5]])
le1:=radicalEigenvalues m
le2:=radicalEigenvalues mm
--- the function radicalEigenvector computes the eigenvectors assocoted to
+-- the function radicalEigenvector computes the eigenvectors associated to
-- a given eigenvalue, expressed in terms of radicals
radicalEigenvector(le1.2, m)
radicalEigenvector(le2.2,mm)
diff --git a/src/interp/i-toplev.boot b/src/interp/i-toplev.boot
index a23da990..6a3157f9 100644
--- a/src/interp/i-toplev.boot
+++ b/src/interp/i-toplev.boot
@@ -131,8 +131,8 @@ fricas_restart() ==
interpsysInitialization(display_messages) ==
- -- The function start begins the interpreter process, reading in
- -- the profile and printing start-up messages.
+ -- The function "interpsysInitialization" begins the interpreter process,
+ -- reads in the profile and prints start-up messages.
$PrintCompilerMessageIfTrue: local := nil
resetWorkspaceVariables()
save_displayStartMsgs := $displayStartMsgs
