Big rewrite

Author: blegat

.travis.yml

@@ -8,11 +8,14 @@ julia:
 notifications:
   email: false
 # uncomment the following lines to override the default test script
-#script:
-#  - if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
-#  - julia -e 'Pkg.clone(pwd()); Pkg.build("MultivariatePolynomials"); Pkg.test("MultivariatePolynomials"; coverage=true)'
+script:
+   - if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
+   - julia -e 'Pkg.clone(pwd()); Pkg.clone("https://github.com/blegat/DynamicPolynomials.jl"); Pkg.build("MultivariatePolynomials"); Pkg.test("MultivariatePolynomials"; coverage=true)'
 after_success:
   # push coverage results to Coveralls
   - julia -e 'cd(Pkg.dir("MultivariatePolynomials")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
   # push coverage results to Codecov
   - julia -e 'cd(Pkg.dir("MultivariatePolynomials")); Pkg.add("Coverage"); using Coverage; Codecov.submit(Codecov.process_folder())'
+  # update doc
+  - julia -e 'Pkg.add("Documenter")'
+  - julia -e 'cd(Pkg.dir("MultivariatePolynomials")); include(joinpath("docs", "make.jl"))'

REQUIRE

@@ -1 +1,2 @@
-julia 0.6-
+julia 0.6
+DocStringExtensions

docs/.gitignore

@@ -0,0 +1 @@
+build

docs/make.jl

@@ -0,0 +1,19 @@
+using Documenter, MultivariatePolynomials
+
+makedocs(
+    format = :html,
+    sitename = "MultivariatePolynomials",
+    pages = [
+        "Introduction" => "index.md",
+        "Reference" => "apireference.md",
+    ]
+)
+
+deploydocs(
+    repo   = "github.com/blegat/MultivariatePolynomials.jl.git",
+    target = "build",
+    osname = "linux",
+    julia  = "0.6",
+    deps   = nothing,
+    make   = nothing,
+)

docs/src/apireference.md

@@ -0,0 +1,50 @@
+```@meta
+CurrentModule = MultivariatePolynomials
+```
+
+# API
+
+## Variables
+
+```@docs
+name
+```
+
+## Terms
+
+```@docs
+term
+zeroterm
+coefficient
+monomial
+exponent
+deg
+isconstant
+divides
+```
+
+## Polynomials
+
+```@docs
+terms
+monomials
+mindeg
+maxdeg
+extdeg
+leadingterm
+leadingcoefficient
+leadingmonomial
+removeleadingterm
+removemonomials
+vars
+nvars
+```
+
+## Monomial Vectors
+
+```@docs
+monovec
+monovectype
+sortmonovec
+mergemonovec
+```

docs/src/index.md

@@ -0,0 +1,18 @@
+# MultivariatePolynomials
+
+[MultivariatePolynomials.jl](https://github.com/blegat/MultivariatePolynomials.jl) is an implementation independent library for manipulating multivariate polynomials.
+It defines abstract types and an API for multivariate monomials, terms, polynomials, moments and measures and gives default implementation for common operations on them using the API.
+If you want to manipulate multivariate polynomials easily and efficiently while being able to easily switch between different implementations, this library is exactly what you are looking for.
+
+Supported operations are : basic arithmetic, rational polynomials, differentiation and evaluation/substitution, division and duality operations between polynomials and moments.
+There is also support for solving systems of equations (soon!) and building (semi)algebraic sets.
+
+Currently, the following implementations are available:
+
+* [TypedPolynomials](https://github.com/rdeits/TypedPolynomials.jl)
+* [DynamicPolynomials](https://github.com/blegat/DynamicPolynomials.jl)
+
+```@contents
+Pages = ["apireference.md"]
+Depth = 3
+```

src/MultivariatePolynomials.jl

@@ -2,28 +2,45 @@ __precompile__()
 
 module MultivariatePolynomials
 
+using DocStringExtensions
+
 import Base: *, +, -, /, ^, ==,
     promote_rule, convert, show, isless, size, getindex,
     one, zero, transpose, isapprox, @pure, dot, copy
 
+export AbstractPolynomialLike, AbstractTermLike, AbstractMonomialLike
 abstract type AbstractPolynomialLike{T} end
 abstract type AbstractTermLike{T} <: AbstractPolynomialLike{T} end
 abstract type AbstractMonomialLike <: AbstractTermLike{Int} end
 
+export AbstractVariable, AbstractMonomial, AbstractTerm, AbstractPolynomial
 abstract type AbstractVariable <: AbstractMonomialLike end
 abstract type AbstractMonomial <: AbstractMonomialLike end
 abstract type AbstractTerm{T} <: AbstractTermLike{T} end
 abstract type AbstractPolynomial{T} <: AbstractPolynomialLike{T} end
 
 const APL{T} = AbstractPolynomialLike{T}
 
+include("mono.jl")
+include("term.jl")
+include("poly.jl")
+
+include("rational.jl")
+
+#include("promote.jl")
+
 include("measure.jl")
 include("exp.jl")
+include("matpoly.jl")
+
+include("operators.jl")
+include("comp.jl")
+
+include("diff.jl")
+include("div.jl")
+
+include("algebraicset.jl")
 
-#include("utils.jl")
-#include("types.jl")
-#include("operators.jl")
-#include("show.jl")
-#include("substitution.jl")
+include("show.jl")
 
 end # module

src/alg.jl

@@ -11,22 +11,22 @@ addinequality!(S::AbstractAlgebraicSet, p) = throw(ArgumentError("Cannot add ine
 immutable FullSpace <: AbstractAlgebraicSet
 end
 
-type AlgebraicSet <: AbstractAlgebraicSet
-    p::Vector
+type AlgebraicSet{T, PT<:APL{T}} <: AbstractAlgebraicSet
+    p::Vector{PT}
 end
-function (::Type{AlgebraicSet})()
-    AlgebraicSet(Any[])
+function AlgebraicSet{T, PT}() where {T, PT<:APL{T}}
+    AlgebraicSet(PT[])
 end
 
 addequality!(V::AlgebraicSet, p) = push!(V.p, p)
 Base.intersect(S::AlgebraicSet, T::AlgebraicSet) = AlgebraicSet([S.p; T.p])
 
-type BasicSemialgebraicSet <: AbstractBasicSemialgebraicSet
-    V::AlgebraicSet
-    p::Vector
+type BasicSemialgebraicSet{T, PT<:APL{T}} <: AbstractBasicSemialgebraicSet
+    V::AlgebraicSet{T, PT}
+    p::Vector{PT}
 end
-function (::Type{BasicSemialgebraicSet})()
-    BasicSemialgebraicSet(AlgebraicSet(), Any[])
+function BasicSemialgebraicSet{T, PT}() where {T, PT<:APL{T}}
+    BasicSemialgebraicSet(AlgebraicSet{T, PT}(), PT[])
 end
 
 addequality!(S::BasicSemialgebraicSet, p) = addequality!(S.V, p)