Skip to content
Newton series transformation
Coq Makefile
Branch: master
Clone or download
Pull request Compare This branch is 6 commits behind math-comp:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
Make
Makefile
README.md
_CoqProject
auxresults.v
cad.v
expansiblefracpoly.v
finmap.v
fracrev.v
fraction.v
newtonsum.v
opam
polyall.v
polydec.v
polyorder.v
revpoly.v
truncpowerseries.v
valuation.v
xseq.v

README.md

newtonsums

Newton series transformation

The following files are copied from Pierre Yves Strub development on elliptic curves, in order to support decomposition of polynomials in a decidable field: xseq polydec polyall

The following files are copied and improved from the devlopment version of the mathematical components library: polyorder fraction finmap

The following files are the core of the development on Newton series: auxresults revpoly truncpowerseries expansiblefracpoly newtonsum

You can’t perform that action at this time.