CHIMP.spec

{
  CHIMP.m
  ExactpAdics2
  {
    +spec
  }

  Genus2Conductor
  {
    +spec_ExactpAdics
  }

  MagmaUtils
  {
    +spec
  }

  RiemannSurfaces
  {
    # included in Magma since 2.25
    #+spec
  }

  avisogenies
  {
    src
    {
      +AVI.spec
    }
  }

  curve_reconstruction
  {
    magma
    {
      +spec
    }
  }

  echidna
  {
    src
    {
      #+echidna.spec
    }
  }

  endomorphisms
  {
    endomorphisms
    {
      magma
      {
        +spec
      }
    }
  }

  gists
  {
    +gists.spec
  }

  hcperiods
  {
    magma
    {
      # included in Magma since 2.25
      #+spec
    }
  }

  hermite
  {
    +Hermite.spec
  }

  pAdicGaloisGroup
  {
    +spec
  }

  pAdicExtensions
  {
    +spec
  }

  gluing
  {
    magma
    {
      +spec
    }
  }

  quartic_isomorphisms
  {
    magma
    {
      +spec
    }
  }

  quartic_reconstruction
  {
    magma
    {
      +spec
    }
  }

  ZetaPlaneCurves
  {
    +spec
  }

  ModFrmGL2
  {
    ModFrmGL2
    {
      # disabled for now
      #+ModFrmGL2.spec
    }
  }

  MagmaPolred
  {
    +spec
  }

  genus2twists
  {
    +spec
  }

  Magma
  {
    +magma.spec
  }

  IntegralPointsConic
  {
    +spec
  }
  MichaelStollMagma
  {
    +Kum3/G3Hyp.spec
  }
  cm-calculations
  {
    +magma/spec
  }
  Parallel.magma
  {
    +spec
  }
  Theta.magma
  {
    +spec
  }
  genus3torsion
  {
	  #polredabs.m
    JacobianArithmetic.m
    AnalyticJacobian.m
    Torsion.m
  }
  NumericalSolve.magma
  {
    +spec
  }
}