Welcome to atlas 2 for Maple™

modern differential geometry package


Modern differential geometry

Modern differential geometry is the basis for the atlas package.  Such entities as manifolds, mappings, p-forms, tensor fields, bundles, connections are very important in the modern differential geometry. The atlas package allows to work with these entities without extra efforts, just define an entity with corresponding obvious definition and work with it just as you usually do. read more...

No programming just differential geometry

When working on your problem you think in terms of manifolds, mappings, embeddings, submersions, p-forms, tensor fields etc. The atlas package allows you  concentrate on the differential geometry problem not on the programming.read more...

No ugly output just standard notation

The atlas package uses standard differential geometry notations: d - exterior derivative,Lie derivative- Lie derivative, ι - interior productExterior product- exterior product,Tensor product- tensor product,Hodge operator- Hodge star, Covariant derivative- covariant differentiation,δ - Kronecker's delta symbol etc. You always get output as you expected like the following:

atlas package output example with Lie derivative calculation:

`ℒ`[X](`⊗`(T, Omega)) = `+`(`⊗`(`ℒ`[X](T), Omega), `⊗`(T, `ℒ`[X](Omega)))

atlas package output example with exterior derivative calculation:

`and`(`and`(d(`and`(omega, sigma)) = sigma, `+`(d(omega), `-`(omega))), d(sigma))

atlas package output example with tensor product calculation:

g = `/`(`*`(`*`(4, `+`(`⊗`(e[1], e[1]), `*`(e[2], `*`(`⊗`(e[2])))))), `*`(`^`(`+`(1, `*`(lambda, `*`(`+`(`*`(`^`(x, 2)), `*`(`^`(y, 2)))))), 2)))

atlas package output example with covariant derivative calculation:

atlas package output example with interior product and Kronecker's delta symbol calculation:

iota[E[n], E[i]](`and`(e[j], e[k])) = `+`(`*`(delta[i, j], `*`(delta[n, k])), `-`(`*`(delta[i, k], `*`(delta[n, j]))))

atlas package output example with calculation in a manifold with symbolic dimention:

d(e[k]) = `+`(`-`(`*`(`+`(`*`(2, `*`(lambda))), `and`(Sum(`*`(x[i], `*`(e[i])), i = 1 .. N), e[k]))))


read more...