initialized documentation generation

.travis.yml

@@ -14,3 +14,12 @@ notifications:
   email: false
 after_success:
   - julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Codecov.submit(process_folder()); Coveralls.submit(process_folder())'
+jobs:
+  include:
+    - stage: "Documentation"
+      julia: 1.3
+      os: linux
+      script:
+        - julia --project=docs/ -e 'using Pkg; Pkg.add("Documenter"); Pkg.develop(PackageSpec(path=pwd()))'
+        - julia --project=docs/ docs/make.jl
+      after_success: skip

docs/make.jl

@@ -0,0 +1,24 @@
+#   This file is part of Grassmann.jl. It is licensed under the GPL license
+#   Grassmann Copyright (C) 2019 Michael Reed
+
+using Documenter, Grassmann
+
+makedocs(
+    # options
+    modules = [Grassmann],
+    doctest = false,
+    format = Documenter.HTML(prettyurls = get(ENV, "CI", nothing) == "true"),
+    sitename = "Grassmann.jl",
+    authors = "Michael Reed",
+    pages = Any[
+        "Home" => "index.md",
+        "Library" => "library.md" 
+        ]
+)
+
+deploydocs(
+    repo   = "github.com/chakravala/Reduce.jl.git",
+    target = "build",
+    deps = nothing,
+    make = nothing
+)

docs/src/index.md

@@ -0,0 +1,27 @@
+# Grassmann.jl
+
+*⟨Leibniz-Grassmann-Clifford-Hestenes⟩ differential geometric algebra / multivector simplicial complex*
+
+[![Build Status](https://travis-ci.org/chakravala/Grassmann.jl.svg?branch=master)](https://travis-ci.org/chakravala/Grassmann.jl)
+[![Build status](https://ci.appveyor.com/api/projects/status/c36u0rgtm2rjcquk?svg=true)](https://ci.appveyor.com/project/chakravala/grassmann-jl)
+[![Coverage Status](https://coveralls.io/repos/chakravala/Grassmann.jl/badge.svg?branch=master&service=github)](https://coveralls.io/github/chakravala/Grassmann.jl?branch=master)
+[![codecov.io](http://codecov.io/github/chakravala/Grassmann.jl/coverage.svg?branch=master)](http://codecov.io/github/chakravala/Grassmann.jl?branch=master)
+[![Gitter](https://badges.gitter.im/Grassmann-jl/community.svg)](https://gitter.im/Grassmann-jl/community?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge)
+[![Liberapay patrons](https://img.shields.io/liberapay/patrons/chakravala.svg)](https://liberapay.com/chakravala)
+
+The [Grassmann.jl](https://github.com/chakravala/Grassmann.jl) package provides tools for doing computations based on multi-linear algebra, differential geometry, and spin groups using the extended tensor algebra known as Leibniz-Grassmann-Clifford-Hestenes geometric algebra.
+Combinatorial products include `∧, ∨, ⋅, *, ⋆, ', ~, ∂` (which are the exterior, regressive, inner, and geometric products; along with the Hodge star, adjoint, reversal, and boundary operators).
+The kernelized operations are built up from composite sparse tensor products and Hodge duality, with high dimensional support for up to 62 indices using staged caching and precompilation. Code generation enables concise yet highly extensible definitions.
+The [DirectSum.jl](https://github.com/chakravala/DirectSum.jl) multivector parametric type polymorphism is based on tangent bundle vector spaces and conformal projective geometry to make the dispatch highly extensible for many applications.
+Additionally, the universal interoperability between different sub-algebras is enabled by [AbstractTensors.jl](https://github.com/chakravala/AbstractTensors.jl), on which the type system is built.
+
+[![YouTube](https://img.shields.io/badge/JuliaCon%202019-YouTube-red)](https://www.youtube.com/watch?v=eQjDN0JQ6-s)
+[![DropBox](https://img.shields.io/badge/download_PDF-DropBox-blue.svg)](https://www.dropbox.com/sh/tphh6anw0qwija4/AAACiaXig5djrLVAKLPFmGV-a/Geometric-Algebra?preview=grassmann-juliacon-2019.pdf)
+[![DOI](https://zenodo.org/badge/101519786.svg)](https://zenodo.org/badge/latestdoi/101519786)
+[![BiVector](https://img.shields.io/badge/bivector.net-Discourse-blueviolet)](https://bivector.net)
+
+```@contents
+Pages = ["index.md","library.md","docs.md"]
+```
+
+

docs/src/library.md

@@ -0,0 +1,39 @@
+# Grassmann.jl Library
+
+```@contents
+Pages = ["index.md","library.md"]
+```
+
+## Index
+
+```@index
+Pages = ["library.md"]
+```
+
+## Grassmann Interface
+
+```@docs
+Grassmann.complementrighthodge
+```
+
+```@docs
+Grassmann.complementlefthodge
+```
+
+```@docs
+Grassmann.reverse
+```
+
+```@docs
+Grassmann.involute
+```
+
+```@docs
+Grassmann.:∧
+```
+
+```@docs
+Grassmann.:∨
+```
+
+etc, ...

src/algebra.jl

@@ -327,13 +327,13 @@ for side ∈ (:left,:right)
 end
 
 @doc """
-    complementright(ω::TensorAlgebra)
+    complementrighthodge(ω::TensorAlgebra)
 
 Grassmann-Poincare-Hodge complement: ⋆ω = ω∗I
 """ complementrighthodge
 
 @doc """
-    complementleft(ω::TensorAlgebra)
+    complementlefthodge(ω::TensorAlgebra)
 
 Grassmann-Poincare left complement: ⋆'ω = I∗'ω
 """ complementlefthodge