From f8c442188cef03f34b7774dd56c4cefef62aa7c4 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Thu, 10 Apr 2025 19:09:04 +0200
Subject: Update formulas notebook with test for RCB incomplete case.
---
epare/formulas.ipynb | 253 +++++++++++++++++++++++++++++----------------------
1 file changed, 144 insertions(+), 109 deletions(-)
diff --git a/epare/formulas.ipynb b/epare/formulas.ipynb
index 1fa305f..edac069 100644
--- a/epare/formulas.ipynb
+++ b/epare/formulas.ipynb
@@ -12,7 +12,7 @@
},
{
"cell_type": "code",
- "execution_count": 1,
+ "execution_count": 2,
"id": "09d92ba3-ede4-40c3-a061-a9c328e26fb5",
"metadata": {},
"outputs": [],
@@ -35,7 +35,7 @@
},
{
"cell_type": "code",
- "execution_count": 2,
+ "execution_count": 3,
"id": "5155a3ab-fd65-4add-ac3d-413de337c849",
"metadata": {},
"outputs": [],
@@ -102,7 +102,7 @@
},
{
"cell_type": "code",
- "execution_count": 3,
+ "execution_count": 4,
"id": "e045a4cf-97db-4a2f-a191-582987f6473d",
"metadata": {},
"outputs": [
@@ -138,6 +138,10 @@
" orderbig = orderbig_aff.to_model(coords, params.curve)\n",
" orderbig_neg = params.curve.affine_negate(orderbig_aff).to_model(coords, params.curve)\n",
" orderbig2 = params.curve.affine_double(orderbig_aff).to_model(coords, params.curve)\n",
+ " r1_aff = params.curve.affine_random()\n",
+ " r1 = r1_aff.to_model(coords, params.curve)\n",
+ " r2_aff = params.curve.affine_add(order2_aff, r1_aff)\n",
+ " r2 = r2_aff.to_model(coords, params.curve)\n",
" zeros = Point(coords, **{var: mod(0, p) for var in coords.variables})\n",
"\n",
" adds = set(formula for formula in coords.formulas.values() if formula.shortname == \"add\")\n",
@@ -158,6 +162,8 @@
" # P + zeros = ?\n",
" PpZeros = add(p, orderbig, zeros, **params.curve.parameters)[0]\n",
" ZerospP = add(p, zeros, orderbig, **params.curve.parameters)[0]\n",
+ " # P1 + P2 = ord2\n",
+ " PpQord2 = add(p, r1, r2, **params.curve.parameters)[0]\n",
" res[\"PpP\"] = eval_test(orderbig2, PpP, params.curve)\n",
" res[\"PpInfty\"] = eval_test(orderbig, PpInfty, params.curve)\n",
" res[\"InftypP\"] = eval_test(orderbig, InftypP, params.curve)\n",
@@ -166,6 +172,7 @@
" res[\"EqInfty2\"] = eval_test(infty, EqInfty2, params.curve)\n",
" res[\"PpZeros\"] = eval_test(None, PpZeros, params.curve)\n",
" res[\"ZerospP\"] = eval_test(None, ZerospP, params.curve)\n",
+ " res[\"PpQord2\"] = eval_test(order2, PpQord2, params.curve)\n",
" for dbl in dbls:\n",
" res = {}\n",
" results_dbl[coords_name][dbl.name] = res\n",
@@ -207,12 +214,13 @@
" `add-2002-bj, add-2007-bl, add-2015-rcb, madd-2015-rcb`\n",
" - `P + -P = infty` and `-P + P = infty`: All correct, no zeros, no affine, on curve.\n",
" - `zeros + P = ?` and `P + zeros = ?`: Three behavior classes, in one, the zeros propagate, in another the formula makes up an affine point\n",
- " that is not zeros but is not on the curve. In the final class, the formula makes up some point that is neither zeros, nor affine nor on the curve."
+ " that is not zeros but is not on the curve. In the final class, the formula makes up some point that is neither zeros, nor affine nor on the curve.\n",
+ " - `P + Q = Ord2`: The exceptional case for (otherwise complete) RCB formulas."
]
},
{
"cell_type": "code",
- "execution_count": 28,
+ "execution_count": 5,
"id": "d0928c16-9688-4d65-a559-5895d1b7c85b",
"metadata": {
"editable": true,
@@ -230,6 +238,15 @@
"| Coords | Formula | Test | Correct? | Zeros? | Affine? | On curve? |
|---|
\n",
"\n",
"\n",
+ "| projective | madd-2015-rcb | PpP | True | False | True | True |
\n",
+ "| projective | madd-2015-rcb | PpInfty | False | False | True | False |
\n",
+ "| projective | madd-2015-rcb | InftypP | True | False | True | True |
\n",
+ "| projective | madd-2015-rcb | O2pO2 | True | False | False | True |
\n",
+ "| projective | madd-2015-rcb | EqInfty1 | True | False | False | True |
\n",
+ "| projective | madd-2015-rcb | EqInfty2 | True | False | False | True |
\n",
+ "| projective | madd-2015-rcb | PpZeros | Undefined | False | True | False |
\n",
+ "| projective | madd-2015-rcb | ZerospP | Undefined | True | False | False |
\n",
+ "| projective | madd-2015-rcb | PpQord2 | False | True | False | False |
\n",
"| projective | add-2007-bl | PpP | True | False | True | True |
\n",
"| projective | add-2007-bl | PpInfty | False | True | False | False |
\n",
"| projective | add-2007-bl | InftypP | False | True | False | False |
\n",
@@ -238,38 +255,7 @@
"| projective | add-2007-bl | EqInfty2 | True | False | False | True |
\n",
"| projective | add-2007-bl | PpZeros | Undefined | True | False | False |
\n",
"| projective | add-2007-bl | ZerospP | Undefined | True | False | False |
\n",
- "| projective | add-2002-bj | PpP | True | False | True | True |
\n",
- "| projective | add-2002-bj | PpInfty | False | True | False | False |
\n",
- "| projective | add-2002-bj | InftypP | False | True | False | False |
\n",
- "| projective | add-2002-bj | O2pO2 | True | False | False | True |
\n",
- "| projective | add-2002-bj | EqInfty1 | True | False | False | True |
\n",
- "| projective | add-2002-bj | EqInfty2 | True | False | False | True |
\n",
- "| projective | add-2002-bj | PpZeros | Undefined | True | False | False |
\n",
- "| projective | add-2002-bj | ZerospP | Undefined | True | False | False |
\n",
- "| projective | add-2015-rcb | PpP | True | False | True | True |
\n",
- "| projective | add-2015-rcb | PpInfty | True | False | True | True |
\n",
- "| projective | add-2015-rcb | InftypP | True | False | True | True |
\n",
- "| projective | add-2015-rcb | O2pO2 | True | False | False | True |
\n",
- "| projective | add-2015-rcb | EqInfty1 | True | False | False | True |
\n",
- "| projective | add-2015-rcb | EqInfty2 | True | False | False | True |
\n",
- "| projective | add-2015-rcb | PpZeros | Undefined | True | False | False |
\n",
- "| projective | add-2015-rcb | ZerospP | Undefined | True | False | False |
\n",
- "| projective | mmadd-1998-cmo | PpP | False | True | False | False |
\n",
- "| projective | mmadd-1998-cmo | PpInfty | False | False | True | False |
\n",
- "| projective | mmadd-1998-cmo | InftypP | False | False | True | False |
\n",
- "| projective | mmadd-1998-cmo | O2pO2 | False | True | False | False |
\n",
- "| projective | mmadd-1998-cmo | EqInfty1 | True | False | False | True |
\n",
- "| projective | mmadd-1998-cmo | EqInfty2 | True | False | False | True |
\n",
- "| projective | mmadd-1998-cmo | PpZeros | Undefined | False | True | False |
\n",
- "| projective | mmadd-1998-cmo | ZerospP | Undefined | False | True | False |
\n",
- "| projective | add-1998-cmo | PpP | False | True | False | False |
\n",
- "| projective | add-1998-cmo | PpInfty | False | True | False | False |
\n",
- "| projective | add-1998-cmo | InftypP | False | True | False | False |
\n",
- "| projective | add-1998-cmo | O2pO2 | False | True | False | False |
\n",
- "| projective | add-1998-cmo | EqInfty1 | True | False | False | True |
\n",
- "| projective | add-1998-cmo | EqInfty2 | True | False | False | True |
\n",
- "| projective | add-1998-cmo | PpZeros | Undefined | True | False | False |
\n",
- "| projective | add-1998-cmo | ZerospP | Undefined | True | False | False |
\n",
+ "| projective | add-2007-bl | PpQord2 | False | False | True | True |
\n",
"| projective | madd-1998-cmo | PpP | False | True | False | False |
\n",
"| projective | madd-1998-cmo | PpInfty | False | False | True | False |
\n",
"| projective | madd-1998-cmo | InftypP | False | True | False | False |
\n",
@@ -278,14 +264,43 @@
"| projective | madd-1998-cmo | EqInfty2 | True | False | False | True |
\n",
"| projective | madd-1998-cmo | PpZeros | Undefined | False | True | False |
\n",
"| projective | madd-1998-cmo | ZerospP | Undefined | True | False | False |
\n",
- "| projective | madd-2015-rcb | PpP | True | False | True | True |
\n",
- "| projective | madd-2015-rcb | PpInfty | False | False | True | False |
\n",
- "| projective | madd-2015-rcb | InftypP | True | False | True | True |
\n",
- "| projective | madd-2015-rcb | O2pO2 | True | False | False | True |
\n",
- "| projective | madd-2015-rcb | EqInfty1 | True | False | False | True |
\n",
- "| projective | madd-2015-rcb | EqInfty2 | True | False | False | True |
\n",
- "| projective | madd-2015-rcb | PpZeros | Undefined | False | True | False |
\n",
- "| projective | madd-2015-rcb | ZerospP | Undefined | True | False | False |
\n",
+ "| projective | madd-1998-cmo | PpQord2 | False | False | True | True |
\n",
+ "| projective | add-1998-cmo | PpP | False | True | False | False |
\n",
+ "| projective | add-1998-cmo | PpInfty | False | True | False | False |
\n",
+ "| projective | add-1998-cmo | InftypP | False | True | False | False |
\n",
+ "| projective | add-1998-cmo | O2pO2 | False | True | False | False |
\n",
+ "| projective | add-1998-cmo | EqInfty1 | True | False | False | True |
\n",
+ "| projective | add-1998-cmo | EqInfty2 | True | False | False | True |
\n",
+ "| projective | add-1998-cmo | PpZeros | Undefined | True | False | False |
\n",
+ "| projective | add-1998-cmo | ZerospP | Undefined | True | False | False |
\n",
+ "| projective | add-1998-cmo | PpQord2 | False | False | True | True |
\n",
+ "| projective | mmadd-1998-cmo | PpP | False | True | False | False |
\n",
+ "| projective | mmadd-1998-cmo | PpInfty | False | False | True | False |
\n",
+ "| projective | mmadd-1998-cmo | InftypP | False | False | True | False |
\n",
+ "| projective | mmadd-1998-cmo | O2pO2 | False | True | False | False |
\n",
+ "| projective | mmadd-1998-cmo | EqInfty1 | True | False | False | True |
\n",
+ "| projective | mmadd-1998-cmo | EqInfty2 | True | False | False | True |
\n",
+ "| projective | mmadd-1998-cmo | PpZeros | Undefined | False | True | False |
\n",
+ "| projective | mmadd-1998-cmo | ZerospP | Undefined | False | True | False |
\n",
+ "| projective | mmadd-1998-cmo | PpQord2 | False | False | True | True |
\n",
+ "| projective | add-2015-rcb | PpP | True | False | True | True |
\n",
+ "| projective | add-2015-rcb | PpInfty | True | False | True | True |
\n",
+ "| projective | add-2015-rcb | InftypP | True | False | True | True |
\n",
+ "| projective | add-2015-rcb | O2pO2 | True | False | False | True |
\n",
+ "| projective | add-2015-rcb | EqInfty1 | True | False | False | True |
\n",
+ "| projective | add-2015-rcb | EqInfty2 | True | False | False | True |
\n",
+ "| projective | add-2015-rcb | PpZeros | Undefined | True | False | False |
\n",
+ "| projective | add-2015-rcb | ZerospP | Undefined | True | False | False |
\n",
+ "| projective | add-2015-rcb | PpQord2 | False | True | False | False |
\n",
+ "| projective | add-2002-bj | PpP | True | False | True | True |
\n",
+ "| projective | add-2002-bj | PpInfty | False | True | False | False |
\n",
+ "| projective | add-2002-bj | InftypP | False | True | False | False |
\n",
+ "| projective | add-2002-bj | O2pO2 | True | False | False | True |
\n",
+ "| projective | add-2002-bj | EqInfty1 | True | False | False | True |
\n",
+ "| projective | add-2002-bj | EqInfty2 | True | False | False | True |
\n",
+ "| projective | add-2002-bj | PpZeros | Undefined | True | False | False |
\n",
+ "| projective | add-2002-bj | ZerospP | Undefined | True | False | False |
\n",
+ "| projective | add-2002-bj | PpQord2 | False | False | True | True |
\n",
"| projective | add-1998-cmo-2 | PpP | False | True | False | False |
\n",
"| projective | add-1998-cmo-2 | PpInfty | False | True | False | False |
\n",
"| projective | add-1998-cmo-2 | InftypP | False | True | False | False |
\n",
@@ -294,14 +309,7 @@
"| projective | add-1998-cmo-2 | EqInfty2 | True | False | False | True |
\n",
"| projective | add-1998-cmo-2 | PpZeros | Undefined | True | False | False |
\n",
"| projective | add-1998-cmo-2 | ZerospP | Undefined | True | False | False |
\n",
- "| modified | mmadd-2009-bl | PpP | False | True | False | False |
\n",
- "| modified | mmadd-2009-bl | PpInfty | False | False | True | False |
\n",
- "| modified | mmadd-2009-bl | InftypP | False | False | True | False |
\n",
- "| modified | mmadd-2009-bl | O2pO2 | False | True | False | False |
\n",
- "| modified | mmadd-2009-bl | EqInfty1 | True | False | False | True |
\n",
- "| modified | mmadd-2009-bl | EqInfty2 | True | False | False | True |
\n",
- "| modified | mmadd-2009-bl | PpZeros | Undefined | False | True | False |
\n",
- "| modified | mmadd-2009-bl | ZerospP | Undefined | False | True | False |
\n",
+ "| projective | add-1998-cmo-2 | PpQord2 | False | False | True | True |
\n",
"| modified | add-2009-bl | PpP | False | True | False | False |
\n",
"| modified | add-2009-bl | PpInfty | False | True | False | False |
\n",
"| modified | add-2009-bl | InftypP | False | True | False | False |
\n",
@@ -310,14 +318,7 @@
"| modified | add-2009-bl | EqInfty2 | True | False | False | True |
\n",
"| modified | add-2009-bl | PpZeros | Undefined | True | False | False |
\n",
"| modified | add-2009-bl | ZerospP | Undefined | True | False | False |
\n",
- "| modified | madd-2009-bl | PpP | False | True | False | False |
\n",
- "| modified | madd-2009-bl | PpInfty | False | False | True | False |
\n",
- "| modified | madd-2009-bl | InftypP | False | True | False | False |
\n",
- "| modified | madd-2009-bl | O2pO2 | False | True | False | False |
\n",
- "| modified | madd-2009-bl | EqInfty1 | True | False | False | True |
\n",
- "| modified | madd-2009-bl | EqInfty2 | True | False | False | True |
\n",
- "| modified | madd-2009-bl | PpZeros | Undefined | False | True | False |
\n",
- "| modified | madd-2009-bl | ZerospP | Undefined | True | False | False |
\n",
+ "| modified | add-2009-bl | PpQord2 | False | False | True | True |
\n",
"| modified | add-1998-cmo-2 | PpP | False | True | False | False |
\n",
"| modified | add-1998-cmo-2 | PpInfty | False | True | False | False |
\n",
"| modified | add-1998-cmo-2 | InftypP | False | True | False | False |
\n",
@@ -326,6 +327,34 @@
"| modified | add-1998-cmo-2 | EqInfty2 | True | False | False | True |
\n",
"| modified | add-1998-cmo-2 | PpZeros | Undefined | True | False | False |
\n",
"| modified | add-1998-cmo-2 | ZerospP | Undefined | True | False | False |
\n",
+ "| modified | add-1998-cmo-2 | PpQord2 | False | False | True | True |
\n",
+ "| modified | mmadd-2009-bl | PpP | False | True | False | False |
\n",
+ "| modified | mmadd-2009-bl | PpInfty | False | False | True | False |
\n",
+ "| modified | mmadd-2009-bl | InftypP | False | False | True | False |
\n",
+ "| modified | mmadd-2009-bl | O2pO2 | False | True | False | False |
\n",
+ "| modified | mmadd-2009-bl | EqInfty1 | True | False | False | True |
\n",
+ "| modified | mmadd-2009-bl | EqInfty2 | True | False | False | True |
\n",
+ "| modified | mmadd-2009-bl | PpZeros | Undefined | False | True | False |
\n",
+ "| modified | mmadd-2009-bl | ZerospP | Undefined | False | True | False |
\n",
+ "| modified | mmadd-2009-bl | PpQord2 | False | False | True | True |
\n",
+ "| modified | madd-2009-bl | PpP | False | True | False | False |
\n",
+ "| modified | madd-2009-bl | PpInfty | False | False | True | False |
\n",
+ "| modified | madd-2009-bl | InftypP | False | True | False | False |
\n",
+ "| modified | madd-2009-bl | O2pO2 | False | True | False | False |
\n",
+ "| modified | madd-2009-bl | EqInfty1 | True | False | False | True |
\n",
+ "| modified | madd-2009-bl | EqInfty2 | True | False | False | True |
\n",
+ "| modified | madd-2009-bl | PpZeros | Undefined | False | True | False |
\n",
+ "| modified | madd-2009-bl | ZerospP | Undefined | True | False | False |
\n",
+ "| modified | madd-2009-bl | PpQord2 | False | False | True | True |
\n",
+ "| xyzz | mmadd-2008-s | PpP | False | True | False | False |
\n",
+ "| xyzz | mmadd-2008-s | PpInfty | False | False | True | False |
\n",
+ "| xyzz | mmadd-2008-s | InftypP | False | False | True | False |
\n",
+ "| xyzz | mmadd-2008-s | O2pO2 | False | True | False | False |
\n",
+ "| xyzz | mmadd-2008-s | EqInfty1 | True | False | False | True |
\n",
+ "| xyzz | mmadd-2008-s | EqInfty2 | True | False | False | True |
\n",
+ "| xyzz | mmadd-2008-s | PpZeros | Undefined | False | True | False |
\n",
+ "| xyzz | mmadd-2008-s | ZerospP | Undefined | False | True | False |
\n",
+ "| xyzz | mmadd-2008-s | PpQord2 | False | False | True | True |
\n",
"| xyzz | add-2008-s | PpP | False | True | False | False |
\n",
"| xyzz | add-2008-s | PpInfty | False | True | False | False |
\n",
"| xyzz | add-2008-s | InftypP | False | True | False | False |
\n",
@@ -334,6 +363,7 @@
"| xyzz | add-2008-s | EqInfty2 | True | False | False | True |
\n",
"| xyzz | add-2008-s | PpZeros | Undefined | True | False | False |
\n",
"| xyzz | add-2008-s | ZerospP | Undefined | True | False | False |
\n",
+ "| xyzz | add-2008-s | PpQord2 | False | False | True | True |
\n",
"| xyzz | madd-2008-s | PpP | False | True | False | False |
\n",
"| xyzz | madd-2008-s | PpInfty | False | False | True | False |
\n",
"| xyzz | madd-2008-s | InftypP | False | True | False | False |
\n",
@@ -342,38 +372,7 @@
"| xyzz | madd-2008-s | EqInfty2 | True | False | False | True |
\n",
"| xyzz | madd-2008-s | PpZeros | Undefined | False | True | False |
\n",
"| xyzz | madd-2008-s | ZerospP | Undefined | True | False | False |
\n",
- "| xyzz | mmadd-2008-s | PpP | False | True | False | False |
\n",
- "| xyzz | mmadd-2008-s | PpInfty | False | False | True | False |
\n",
- "| xyzz | mmadd-2008-s | InftypP | False | False | True | False |
\n",
- "| xyzz | mmadd-2008-s | O2pO2 | False | True | False | False |
\n",
- "| xyzz | mmadd-2008-s | EqInfty1 | True | False | False | True |
\n",
- "| xyzz | mmadd-2008-s | EqInfty2 | True | False | False | True |
\n",
- "| xyzz | mmadd-2008-s | PpZeros | Undefined | False | True | False |
\n",
- "| xyzz | mmadd-2008-s | ZerospP | Undefined | False | True | False |
\n",
- "| jacobian | madd-2007-bl | PpP | False | True | False | False |
\n",
- "| jacobian | madd-2007-bl | PpInfty | False | False | True | False |
\n",
- "| jacobian | madd-2007-bl | InftypP | False | True | False | False |
\n",
- "| jacobian | madd-2007-bl | O2pO2 | False | True | False | False |
\n",
- "| jacobian | madd-2007-bl | EqInfty1 | True | False | False | True |
\n",
- "| jacobian | madd-2007-bl | EqInfty2 | True | False | False | True |
\n",
- "| jacobian | madd-2007-bl | PpZeros | Undefined | False | True | False |
\n",
- "| jacobian | madd-2007-bl | ZerospP | Undefined | True | False | False |
\n",
- "| jacobian | add-1998-cmo | PpP | False | True | False | False |
\n",
- "| jacobian | add-1998-cmo | PpInfty | False | True | False | False |
\n",
- "| jacobian | add-1998-cmo | InftypP | False | True | False | False |
\n",
- "| jacobian | add-1998-cmo | O2pO2 | False | True | False | False |
\n",
- "| jacobian | add-1998-cmo | EqInfty1 | True | False | False | True |
\n",
- "| jacobian | add-1998-cmo | EqInfty2 | True | False | False | True |
\n",
- "| jacobian | add-1998-cmo | PpZeros | Undefined | True | False | False |
\n",
- "| jacobian | add-1998-cmo | ZerospP | Undefined | True | False | False |
\n",
- "| jacobian | zadd-2007-m | PpP | False | True | False | False |
\n",
- "| jacobian | zadd-2007-m | PpInfty | False | False | True | False |
\n",
- "| jacobian | zadd-2007-m | InftypP | False | False | False | False |
\n",
- "| jacobian | zadd-2007-m | O2pO2 | False | True | False | False |
\n",
- "| jacobian | zadd-2007-m | EqInfty1 | True | False | False | True |
\n",
- "| jacobian | zadd-2007-m | EqInfty2 | True | False | False | True |
\n",
- "| jacobian | zadd-2007-m | PpZeros | Undefined | False | True | False |
\n",
- "| jacobian | zadd-2007-m | ZerospP | Undefined | False | False | False |
\n",
+ "| xyzz | madd-2008-s | PpQord2 | False | False | True | True |
\n",
"| jacobian | add-2001-b | PpP | False | True | False | False |
\n",
"| jacobian | add-2001-b | PpInfty | False | True | False | False |
\n",
"| jacobian | add-2001-b | InftypP | False | True | False | False |
\n",
@@ -382,14 +381,7 @@
"| jacobian | add-2001-b | EqInfty2 | True | False | False | True |
\n",
"| jacobian | add-2001-b | PpZeros | Undefined | True | False | False |
\n",
"| jacobian | add-2001-b | ZerospP | Undefined | True | False | False |
\n",
- "| jacobian | add-1998-cmo-2 | PpP | False | True | False | False |
\n",
- "| jacobian | add-1998-cmo-2 | PpInfty | False | True | False | False |
\n",
- "| jacobian | add-1998-cmo-2 | InftypP | False | True | False | False |
\n",
- "| jacobian | add-1998-cmo-2 | O2pO2 | False | True | False | False |
\n",
- "| jacobian | add-1998-cmo-2 | EqInfty1 | True | False | False | True |
\n",
- "| jacobian | add-1998-cmo-2 | EqInfty2 | True | False | False | True |
\n",
- "| jacobian | add-1998-cmo-2 | PpZeros | Undefined | True | False | False |
\n",
- "| jacobian | add-1998-cmo-2 | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | add-2001-b | PpQord2 | False | False | True | True |
\n",
"| jacobian | add-1986-cc | PpP | False | True | False | False |
\n",
"| jacobian | add-1986-cc | PpInfty | False | True | False | False |
\n",
"| jacobian | add-1986-cc | InftypP | False | True | False | False |
\n",
@@ -398,6 +390,16 @@
"| jacobian | add-1986-cc | EqInfty2 | True | False | False | True |
\n",
"| jacobian | add-1986-cc | PpZeros | Undefined | True | False | False |
\n",
"| jacobian | add-1986-cc | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | add-1986-cc | PpQord2 | False | False | True | True |
\n",
+ "| jacobian | add-1998-cmo-2 | PpP | False | True | False | False |
\n",
+ "| jacobian | add-1998-cmo-2 | PpInfty | False | True | False | False |
\n",
+ "| jacobian | add-1998-cmo-2 | InftypP | False | True | False | False |
\n",
+ "| jacobian | add-1998-cmo-2 | O2pO2 | False | True | False | False |
\n",
+ "| jacobian | add-1998-cmo-2 | EqInfty1 | True | False | False | True |
\n",
+ "| jacobian | add-1998-cmo-2 | EqInfty2 | True | False | False | True |
\n",
+ "| jacobian | add-1998-cmo-2 | PpZeros | Undefined | True | False | False |
\n",
+ "| jacobian | add-1998-cmo-2 | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | add-1998-cmo-2 | PpQord2 | False | False | True | True |
\n",
"| jacobian | madd-2004-hmv | PpP | False | True | False | False |
\n",
"| jacobian | madd-2004-hmv | PpInfty | False | False | True | False |
\n",
"| jacobian | madd-2004-hmv | InftypP | False | True | False | False |
\n",
@@ -406,6 +408,7 @@
"| jacobian | madd-2004-hmv | EqInfty2 | True | False | False | True |
\n",
"| jacobian | madd-2004-hmv | PpZeros | Undefined | False | True | False |
\n",
"| jacobian | madd-2004-hmv | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | madd-2004-hmv | PpQord2 | False | False | True | True |
\n",
"| jacobian | add-2007-bl | PpP | False | True | False | False |
\n",
"| jacobian | add-2007-bl | PpInfty | False | True | False | False |
\n",
"| jacobian | add-2007-bl | InftypP | False | True | False | False |
\n",
@@ -414,14 +417,25 @@
"| jacobian | add-2007-bl | EqInfty2 | True | False | False | True |
\n",
"| jacobian | add-2007-bl | PpZeros | Undefined | True | False | False |
\n",
"| jacobian | add-2007-bl | ZerospP | Undefined | True | False | False |
\n",
- "| jacobian | madd-2008-g | PpP | False | True | False | False |
\n",
- "| jacobian | madd-2008-g | PpInfty | False | False | True | False |
\n",
- "| jacobian | madd-2008-g | InftypP | False | True | False | False |
\n",
- "| jacobian | madd-2008-g | O2pO2 | False | True | False | False |
\n",
- "| jacobian | madd-2008-g | EqInfty1 | True | False | False | True |
\n",
- "| jacobian | madd-2008-g | EqInfty2 | True | False | False | True |
\n",
- "| jacobian | madd-2008-g | PpZeros | Undefined | False | True | False |
\n",
- "| jacobian | madd-2008-g | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | add-2007-bl | PpQord2 | False | False | True | True |
\n",
+ "| jacobian | zadd-2007-m | PpP | False | True | False | False |
\n",
+ "| jacobian | zadd-2007-m | PpInfty | False | False | True | False |
\n",
+ "| jacobian | zadd-2007-m | InftypP | False | False | False | False |
\n",
+ "| jacobian | zadd-2007-m | O2pO2 | False | True | False | False |
\n",
+ "| jacobian | zadd-2007-m | EqInfty1 | True | False | False | True |
\n",
+ "| jacobian | zadd-2007-m | EqInfty2 | True | False | False | True |
\n",
+ "| jacobian | zadd-2007-m | PpZeros | Undefined | False | True | False |
\n",
+ "| jacobian | zadd-2007-m | ZerospP | Undefined | False | False | False |
\n",
+ "| jacobian | zadd-2007-m | PpQord2 | False | False | True | True |
\n",
+ "| jacobian | madd-2007-bl | PpP | False | True | False | False |
\n",
+ "| jacobian | madd-2007-bl | PpInfty | False | False | True | False |
\n",
+ "| jacobian | madd-2007-bl | InftypP | False | True | False | False |
\n",
+ "| jacobian | madd-2007-bl | O2pO2 | False | True | False | False |
\n",
+ "| jacobian | madd-2007-bl | EqInfty1 | True | False | False | True |
\n",
+ "| jacobian | madd-2007-bl | EqInfty2 | True | False | False | True |
\n",
+ "| jacobian | madd-2007-bl | PpZeros | Undefined | False | True | False |
\n",
+ "| jacobian | madd-2007-bl | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | madd-2007-bl | PpQord2 | False | False | True | True |
\n",
"| jacobian | mmadd-2007-bl | PpP | False | True | False | False |
\n",
"| jacobian | mmadd-2007-bl | PpInfty | False | False | True | False |
\n",
"| jacobian | mmadd-2007-bl | InftypP | False | False | True | False |
\n",
@@ -430,6 +444,16 @@
"| jacobian | mmadd-2007-bl | EqInfty2 | True | False | False | True |
\n",
"| jacobian | mmadd-2007-bl | PpZeros | Undefined | False | True | False |
\n",
"| jacobian | mmadd-2007-bl | ZerospP | Undefined | False | True | False |
\n",
+ "| jacobian | mmadd-2007-bl | PpQord2 | False | False | True | True |
\n",
+ "| jacobian | madd-2008-g | PpP | False | True | False | False |
\n",
+ "| jacobian | madd-2008-g | PpInfty | False | False | True | False |
\n",
+ "| jacobian | madd-2008-g | InftypP | False | True | False | False |
\n",
+ "| jacobian | madd-2008-g | O2pO2 | False | True | False | False |
\n",
+ "| jacobian | madd-2008-g | EqInfty1 | True | False | False | True |
\n",
+ "| jacobian | madd-2008-g | EqInfty2 | True | False | False | True |
\n",
+ "| jacobian | madd-2008-g | PpZeros | Undefined | False | True | False |
\n",
+ "| jacobian | madd-2008-g | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | madd-2008-g | PpQord2 | False | False | True | True |
\n",
"| jacobian | add-1998-hnm | PpP | False | True | False | False |
\n",
"| jacobian | add-1998-hnm | PpInfty | False | True | False | False |
\n",
"| jacobian | add-1998-hnm | InftypP | False | True | False | False |
\n",
@@ -438,6 +462,16 @@
"| jacobian | add-1998-hnm | EqInfty2 | True | False | False | True |
\n",
"| jacobian | add-1998-hnm | PpZeros | Undefined | True | False | False |
\n",
"| jacobian | add-1998-hnm | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | add-1998-hnm | PpQord2 | False | False | True | True |
\n",
+ "| jacobian | add-1998-cmo | PpP | False | True | False | False |
\n",
+ "| jacobian | add-1998-cmo | PpInfty | False | True | False | False |
\n",
+ "| jacobian | add-1998-cmo | InftypP | False | True | False | False |
\n",
+ "| jacobian | add-1998-cmo | O2pO2 | False | True | False | False |
\n",
+ "| jacobian | add-1998-cmo | EqInfty1 | True | False | False | True |
\n",
+ "| jacobian | add-1998-cmo | EqInfty2 | True | False | False | True |
\n",
+ "| jacobian | add-1998-cmo | PpZeros | Undefined | True | False | False |
\n",
+ "| jacobian | add-1998-cmo | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | add-1998-cmo | PpQord2 | False | False | True | True |
\n",
"| jacobian | madd | PpP | False | True | False | False |
\n",
"| jacobian | madd | PpInfty | False | False | True | False |
\n",
"| jacobian | madd | InftypP | False | True | False | False |
\n",
@@ -446,6 +480,7 @@
"| jacobian | madd | EqInfty2 | True | False | False | True |
\n",
"| jacobian | madd | PpZeros | Undefined | False | True | False |
\n",
"| jacobian | madd | ZerospP | Undefined | True | False | False |
\n",
+ "| jacobian | madd | PpQord2 | False | False | True | True |
\n",
"\n",
""
],
--
cgit v1.2.3-70-g09d2