search

faacets / faacets-gamma

Faacets (gamma version)
3 stars 0 forks source link

Support for bound values #36

Closed denisrosset closed 7 years ago

denisrosset commented 7 years ago

@jdbancal: support for bound values, including real cyclotomics, decimal numbers and intervals

See https://github.com/denisrosset/faacets-gamma/pull/36/files#diff-a58611814c50015b7645bafa157e9895 for examples

denisrosset commented 7 years ago

I added documentation of the new bound value format in a documentation subdirectory called fileFormat2. When the new file format has stabilized, we should clean up both these directories.

See doc here:

https://github.com/denisrosset/faacets-gamma/pull/36/files#diff-406fdba108b91adea6881accb257bbdc

See examples of expressions here:

https://github.com/denisrosset/faacets-gamma/pull/36/files#diff-a58611814c50015b7645bafa157e9895

jdbancal commented 7 years ago

Excellent doc page. It will help the documentation integration very much when the time comes!