Skip to content

Commit 6358533

Browse files
committed
Don't bother w/ toExternalString in silentRobustNet
If net (or Format, if it exists) fails or times out, then just jump straight to the fallback simpleToString rather than trying something else.
1 parent e878e2f commit 6358533

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

M2/Macaulay2/m2/robust.m2

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,8 +35,6 @@ String.Format = format
3535
silentRobustNet = (wid,ht,sec,y) -> (
3636
truncNet(wid,ht,
3737
try timelimit (sec, () -> checkNet if lookup(symbol Format,class y) =!= null then (lookup(symbol Format,class y)) y else net y)
38-
else
39-
try timelimit (sec, () -> checkString toExternalString y)
4038
else (
4139
alarm 0;
4240
simpleToString y)

0 commit comments

Comments
 (0)