Directory listing for egison-4.2.1 source tarball
egison-4.2.1/sample/math/geometry/
- chern-form-of-CP1.egi
- chern-form-of-CP2.egi
- curvature-form.egi
- euler-form-of-S2.egi
- euler-form-of-T2.egi
- exterior-derivative.egi
- hodge-E3.egi
- hodge-Minkowski.egi
- hodge-laplacian-polar.egi
- hodge-laplacian-spherical.egi
- polar-laplacian-2d-2.egi
- polar-laplacian-2d-3.egi
- polar-laplacian-2d.egi
- polar-laplacian-3d-2.egi
- polar-laplacian-3d-3.egi
- polar-laplacian-3d.egi
- riemann-curvature-tensor-of-FLRW-metric.egi
- riemann-curvature-tensor-of-S2.egi
- riemann-curvature-tensor-of-S2xS3.egi
- riemann-curvature-tensor-of-S3.egi
- riemann-curvature-tensor-of-S4.egi
- riemann-curvature-tensor-of-S5-non-sym.egi
- riemann-curvature-tensor-of-S5.egi
- riemann-curvature-tensor-of-S7.egi
- riemann-curvature-tensor-of-Schwarzschild-metric.egi
- riemann-curvature-tensor-of-T2-non-sym.egi
- riemann-curvature-tensor-of-T2.egi
- surface.egi
- thurston-non-sym.egi
- thurston.egi
- wedge-product.egi
- yang-mills-equation-of-U1-gauge-theory.egi