Skip to content

Commit

Permalink
Remove examples showing less efficient algorithms from Points docs
Browse files Browse the repository at this point in the history
We still mention them, but the examples were taking a long time to run
and were being killed and causing build failures on mipsel and riscv64.

Closes: #1833
  • Loading branch information
d-torrance committed Jan 19, 2021
1 parent a510fda commit f4fafd3
Showing 1 changed file with 1 addition and 17 deletions.
18 changes: 1 addition & 17 deletions M2/Macaulay2/packages/Points.m2
Original file line number Diff line number Diff line change
Expand Up @@ -958,16 +958,9 @@ document {
monomialIdeal G == inG
///,
PARA{},
"Next a larger example that shows that the Buchberger-Moeller algorithm in ",
"The Buchberger-Moeller algorithm in ",
TT "points", " may be faster than the alternative method using the intersection
of the ideals for each point.",
EXAMPLE lines ///
R = ZZ/32003[vars(0..4), MonomialOrder=>Lex]
M = random(ZZ^5, ZZ^150)
time J = affinePointsByIntersection(M,R);
time C = affinePoints(M,R);
J == C_2
///,
SeeAlso => {affinePointsByIntersection}
}

Expand Down Expand Up @@ -1148,15 +1141,6 @@ doc ///
Text
This algorithm may be faster than
computing the intersection of the ideals of each projective point.

Example
K = ZZ/32003
R = K[z_0..z_5]
M = random(ZZ^6,ZZ^150)
elapsedTime (inG,G) = projectivePoints(M,R);
elapsedTime H = projectivePointsByIntersection(M,R);
G == H

Caveat
This function removes zero columns of @TT "M"@ and duplicate columns giving rise to the same projective point (which prevent the algorithm from terminating). The user can bypass this step with the option @TT "VerifyPoints"@.
SeeAlso
Expand Down

0 comments on commit f4fafd3

Please sign in to comment.