Merge pull request #109 from Tragicus/mc1256

Lookup abstracted terms using unification

Merge pull request #95 from math-comp/ci

Update CI

Merge pull request #90 from math-comp/fix-sub-deprecation

Workaround for #87

Merge pull request #86 from math-comp/semirings

Fix the support for semirings

Merge pull request #85 from math-comp/doc

Update the description

Merge pull request #83 from math-comp/type-casts

Workaround for the type cast issue

Merge pull request #81 from math-comp/doc

Add Pierre Roux as an author, and a slight update of doc

Merge pull request #60 from math-comp/cleanup

Clean up ring.v

Merge pull request #49 from math-comp/exact_no_check

exact_no_check for the second step of reflection

Merge pull request #38 from math-comp/remove-zify-ratify

Remove zify_ring, zify_field, and ratify_field for the moment