← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package
RUN-100
| round | RUN-100 |
|---|---|
| gate | src102 |
| C7 | PASS / canonical |
| kappa_det | 1 |
| actual_independent_routes | 1 |
| determinant_category | rank-1 projective R_S-modules in cohomological degree 0, both ends included |
| status · C1-C6 | PASS |
| status · C7 | PASS / canonical |
| status · C8 | PASS |
| status · C9-C10 | UNMEASURED |
| status · R0 | PASS (category C) |
| status · BSD | OPEN |
Loading…