Build Errors

Explore the current build errors in the active libraries. For the developer version of the error viewer go here

Leave empty to select all compilers

Leave empty to select all libraries

Leave empty to select all archives

Libraries:

    • ODK:
    • 127 Error(s)
    • 18 Fatal Error(s)
      • math:
      • 122 Error(s)
      • 0 Fatal Error(s)
      • ODK:
      • 1 Error(s)
      • 7 Fatal Error(s)
      • Sage:
      • 1 Error(s)
      • 7 Fatal Error(s)
      • lmfdb:
      • 3 Error(s)
      • 4 Fatal Error(s)
    • smglom:
    • 102 Error(s)
    • 0 Fatal Error(s)
      • numberfields:
      • 96 Error(s)
      • 0 Fatal Error(s)
      • primes:
      • 2 Error(s)
      • 0 Fatal Error(s)
      • mv:
      • 4 Error(s)
      • 0 Fatal Error(s)

Compilers:

    • stex-omdoc:
    • 106 Error(s)
    • 0 Fatal Error(s)
    • planetary:
    • 0 Error(s)
    • 13 Fatal Error(s)
    • mmt-omdoc:
    • 122 Error(s)
    • 1 Fatal Error(s)
    • svg:
    • 0 Error(s)
    • 4 Fatal Error(s)
    • latexml:
    • 1 Error(s)
    • 0 Fatal Error(s)

fatal error, conversion failed (no planetary output)


fatal error, conversion failed (no planetary log)


fatal error, conversion failed (no svg output)


fatal error, conversion failed (no svg log)


fatal error, conversion failed (no mmt-omdoc log)


Skipping declaration-level element `symbol` due to unexpected error


during parsing: get error: backend: no backend available that is applicable to http://cds.omdoc.org/urtheories?LF


Skipping declaration-level element `definition` due to unexpected error


unbound token: →


unbound token: )


unbound token: (


unbound token: {


Skipping declaration-level element `view` due to unexpected error


Invalid notation rendering


unbound token: }


unbound token: ]


unbound token: [


Skipping declaration-level element `imports` due to unexpected error


latexml-compiler: malformed:ltx:XMWrap <ltx:XMWrap> isn't allowed here


invalid unit: http://www.lmfdb.org/omf?q_expansion?q_expansion_factors_through_isogeny_class?type: |- {A, B} ⊦ isogeny_equivalence_class A ≐ isogeny_equivalence_class B → ⊦ q_expansion A ≐ q_expansion B INHABITABLE


invalid unit: http://www.lmfdb.org/omf?q_expansion?q_expansion?type: |- tm elliptic_curve → tm power_series INHABITABLE


invalid unit: http://www.lmfdb.org/omf?modular_degree?modular_degree?type: |- tm elliptic_curve → tm int INHABITABLE


invalid unit: http://www.lmfdb.org/omf?minimal_Weierstrass_model?minimality_of_minimal_Weierstrass_model?type: |- {A} ⊦ is_minimal (minimal_Weierstrass_model A) INHABITABLE


invalid unit: http://www.lmfdb.org/omf?minimal_Weierstrass_model?minimality_idempotence?type: |- {A} ⊦ minimal (minimal A) ≐ minimal A INHABITABLE


invalid unit: http://www.lmfdb.org/omf?minimal_Weierstrass_model?minimal?type: |- tm Weierstrass_model → tm Weierstrass_model INHABITABLE