currfp returns fp_invalid when fp is not known, and does not use it

2026-10-24 01:52:28 +00:00 · 2018-12-11 22:10:53 +01:00
parent bf7bb61d35
commit f7db0feef0
4 changed files with 7 additions and 3 deletions
@@ -721,7 +721,9 @@ fpattern& getcurrfp() {
    return fp;
    }
  if(sphere || euclid) return fp_invalid;
-  return fp43;
+  if(S7 == 7 && S3 == 3)
+    return fp43;
+  return fp_invalid;
  }

 // extra information for field quotient extra configuration