fixed chain contraction product of tangent algebra

.travis.yml

@@ -20,6 +20,6 @@ jobs:
       julia: 1.3
       os: linux
       script:
-        - julia --project=docs/ -e 'using Pkg; Pkg.add("Documenter"); Pkg.add("DirectSum"); Pkg.add("AbstractTensors"); Pkg.develop(PackageSpec(path=pwd()))'
+        - julia --project=docs/ -e 'using Pkg; Pkg.add("Documenter"); Pkg.add("DirectSum"); Pkg.add("AbstractTensors"); Pkg.add("Leibniz"); Pkg.develop(PackageSpec(path=pwd()))'
         - julia --project=docs/ docs/make.jl
       after_success: skip

README.md

@@ -74,7 +74,19 @@ More information and tutorials are available at https://grassmann.crucialflow.co
 
 ### Requirements
 
-Availability of this package and its subpackages can be automatically handled with the Julia package manager; however, when the `master` branch is used it is possible that some of the dependencies also require a development branch before the release. This may include (but is not limited to) the following packages:
+*Grassmann.jl* is a package for the [Julia language](https://julialang.org), which can be obtained from their website or the recommended method for your operating system (GNU/Linux/Mac/Windows). Go to [docs.julialang.org](https://docs.julialang.org) for documentation.
+
+Availability of this package and its subpackages can be automatically handled with the Julia package manager `using Pkg` and `Pkg.add("Grassmann")` or by entering:
+```Julia
+pkg> add Grassmann
+```
+If you would like to keep up to date with the latest commits, instead use
+```Julia
+pkg> add Grassmann#master
+```
+which is not recommended if you want to use a stable release.
+
+When the `master` branch is used it is possible that some of the dependencies also require a development branch before the release. This may include (but is not limited to) the following packages:
 
 This requires a merged version of `ComputedFieldTypes` at https://github.com/vtjnash/ComputedFieldTypes.jl
 

docs/make.jl

@@ -1,11 +1,11 @@
 #   This file is part of Grassmann.jl. It is licensed under the GPL license
 #   Grassmann Copyright (C) 2019 Michael Reed
 
-using Documenter, DirectSum, AbstractTensors, Grassmann
+using Documenter, DirectSum, AbstractTensors, Leibniz, Grassmann
 
 makedocs(
     # options
-    modules = [DirectSum,AbstractTensors,Grassmann],
+    modules = [DirectSum,AbstractTensors,Leibniz,Grassmann],
     doctest = false,
     format = Documenter.HTML(prettyurls = get(ENV, "CI", nothing) == "true"),
     sitename = "Grassmann.jl",