Skip to content
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

fixing some typos in packages #3448

Merged
merged 1 commit into from
Sep 2, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion M2/Macaulay2/packages/Bertini/doc.m2
Original file line number Diff line number Diff line change
Expand Up @@ -1012,7 +1012,7 @@ doc ///
S=importPoints(l,n)
Inputs
l: String
A string giving the locaton of a Bertini solution file.
A string giving the location of a Bertini solution file.
n: ZZ
Number of coordinates for each solution.
Outputs
Expand Down
2 changes: 1 addition & 1 deletion M2/Macaulay2/packages/DGAlgebras.m2
Original file line number Diff line number Diff line change
Expand Up @@ -3414,7 +3414,7 @@ doc///
a list, array or sequence representing a (single) multi-index in the complex defined by A
Description
Text
For example, consder the first five steps in the resolution of the residue field
For example, consider the first five steps in the resolution of the residue field
in the following example:
Example
R = QQ[x,y,z]/(ideal(x^3,y^3,z^3,x*y*z))
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/Divisor.m2
Original file line number Diff line number Diff line change
Expand Up @@ -3637,7 +3637,7 @@ doc ///
Headline
compute the ramification divisor of a finite inclusion of normal domains or a blowup over a smooth base
Usage
ramficationDivisor( f )
ramificationDivisor( f )
Inputs
f: RingMap
b: Boolean
Expand All @@ -3654,7 +3654,7 @@ doc ///
f = map(S, R, {y^3});
ramificationDivisor(f)
Text
The next example is a Veronese which is etale in codimension 1.
The next example is a Veronese which is étale in codimension 1.
Example
R = QQ[x,y];
T = QQ[a,b,c,d];
Expand Down
2 changes: 1 addition & 1 deletion M2/Macaulay2/packages/LieTypes.m2
Original file line number Diff line number Diff line change
Expand Up @@ -1219,7 +1219,7 @@ fusionProduct(LieAlgebraModule,LieAlgebraModule,ZZ) := (V,W,l) -> (
while cnt < #pr do (
-- s := sum(u,pr'#i,times);
s := killingForm(g,u,pr#i); -- is the same just more explicit
sn := numerator s; sd := denominator s; -- in non simply laced types, there can be a denimonator
sn := numerator s; sd := denominator s; -- in non simply laced types, there can be a denominator
if sd == 1 and sn % l == 0 then break else if s < -l or s > l then (
u=u-((sn+l*sd)//(2*l*sd))*l*pr#i;
cnt=0;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ doc ///
R = reducedRowEchelonForm A
Inputs
A:Matrix
or @ofClass MutableMatrix@, a matrix over eiither a finite field or the rationals
or @ofClass MutableMatrix@, a matrix over either a finite field or the rationals
Outputs
R:Matrix
or @ofClass MutableMatrix@, the same type as {\tt A}, the
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -718,7 +718,7 @@ doc ///
:Ideal
Description
Text
Given a permutation in 1-line notation or, more generally, a partial alternating sign matrix, outputs the associated alternating sign matrix ideal (which is called a Schubert determinantal ideal in the case of a permutation). (The convention throughout this package is that the permutation matrix of a pemutation $w$ has 1's in positions $(i,w(i))$.)
Given a permutation in 1-line notation or, more generally, a partial alternating sign matrix, outputs the associated alternating sign matrix ideal (which is called a Schubert determinantal ideal in the case of a permutation). (The convention throughout this package is that the permutation matrix of a permutation $w$ has 1's in positions $(i,w(i))$.)

This function computes over the coefficient field of rational numbers unless an alternative is specified.
Example
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/NoetherianOperators.m2
Original file line number Diff line number Diff line change
Expand Up @@ -1686,7 +1686,7 @@ polynomialAnn = (F') -> (
ideal mingens ideal (allMons * mingens ker coeffs)
)

-- computes the annilihator of a vector space V of polynomials
-- computes the annihilator of a vector space V of polynomials
-- typically one expects that V is close under differentiation
-- Input: a list which is a basis of V. Output: the ideal annihilator.
vectorAnn = (V) -> (
Expand Down Expand Up @@ -1783,7 +1783,7 @@ polynomialVectorAnn = (F) -> (
(mons, coeffs) := coefficients diffMat;
image mingens image (allMons * mingens ker coeffs)
)
-- computes the annilihator of a vector space V of polynomials
-- computes the annihilator of a vector space V of polynomials
vectorSpaceAnn = (W) -> (
intersect(apply(W / matrix, F -> polynomialVectorAnn(F)))
)
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/OldPolyhedra.m2
Original file line number Diff line number Diff line change
Expand Up @@ -1684,7 +1684,7 @@ fVector Cone := C -> apply(C#"dimension of the cone" + 1, d -> #faces(dim C - d,
-- OUTPUT : 'L', a list containing the Hilbert basis as one column matrices
hilbertBasis = method(TypicalValue => List)
hilbertBasis Cone := C -> (
-- Computing the row echolon form of the matrix M
-- Computing the row echelon form of the matrix M
ref := M -> (
n := numColumns M;
s := numRows M;
Expand Down Expand Up @@ -3794,7 +3794,7 @@ chkQQZZ = (M,msg) -> (


-- PURPOSE : Computing the Hilbert basis of a standardised cone (project and lift algorithm
-- INPUT : 'A' a matrix, the row echolon form of the defining half-spaces of the cone
-- INPUT : 'A' a matrix, the row echelon form of the defining half-spaces of the cone
-- OUTPUT : a list of one column matrices, the generators of the cone over A intersected with
-- the positive orthant
constructHilbertBasis = A -> (
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/supplanted-packages/Polyhedra.m2
Original file line number Diff line number Diff line change
Expand Up @@ -1216,7 +1216,7 @@ fVector Cone := C -> apply(C#"dimension of the cone" + 1, d -> #faces(dim C - d,
-- OUTPUT : 'L', a list containing the Hilbert basis as one column matrices
hilbertBasis = method(TypicalValue => List)
hilbertBasis Cone := C -> (
-- Computing the row echolon form of the matrix M
-- Computing the row echelon form of the matrix M
ref := M -> (
n := numColumns M;
s := numRows M;
Expand Down Expand Up @@ -2719,7 +2719,7 @@ chkZZQQ = (M,msg) -> (


-- PURPOSE : Computing the Hilbert basis of a standardised cone (project and lift algorithm
-- INPUT : 'A' a matrix, the row echolon form of the defining half-spaces of the cone
-- INPUT : 'A' a matrix, the row echelon form of the defining half-spaces of the cone
-- OUTPUT : a list of one column matrices, the generators of the cone over A intersected with
-- the positive orthant
constructHilbertBasis = A -> (
Expand Down
2 changes: 1 addition & 1 deletion M2/Macaulay2/packages/undistributed-packages/Polyhedra2.m2
Original file line number Diff line number Diff line change
Expand Up @@ -608,7 +608,7 @@ hilbertBasis Cone := opts->C -> (
if C#?"HilbertBasis" then return (apply(numRows C#"HilbertBasis",i->(transpose C#"HilbertBasis")_{i}));
if opts#UsePolymake then runPolymake(C,"HilbertBasis")
else (
-- Computing the row echolon form of the matrix M
-- Computing the row echelon form of the matrix M
ref := M -> (
n := numColumns M;
s := numRows M;
Expand Down
Loading