==================
e-antic Change Log
==================
.. current developments
v1.3.0
====================
**Added:**
* Added support for FLINT 2.8 and 2.9
* Added short and unsigned short operators to C++ interface.
v1.2.3
====================
**Added:**
* Added automatic update on conda-forge with every release.
**Fixed:**
* Fixed soname which was not bumped in the 1.2.2 release.
v1.2.2
====================
**Fixed:**
* Fixed conda channels used for binder notebooks.
* Fixed compilation errors on recent compilers by upgrading catch2 dependency used for testing.
* Fixed deserialization of renf_class from old Python pickles. (#242 sometimes crashed when called from Python since cppyy had trouble with the exceptions being thrown.)
* Fixed "installation with conda" page in our documentation (#240)
* Added logo to documentation. (#239)
* Fixed serialization with cereal 1.3.1+.
* Fixed compiler warnings about missing prototypes for test functions.
v1.2.1
====================
**Fixed:**
* Fixed serialization of `renf_class` with cereal>=1.3.2 (#224)
* Fixed deserialization of objects serialized with e-antic prior to 1.0.0
v1.2.0
====================
**Performance:**
* Improved conversion from vectors of rational coefficients to `renf_elem_class` by using a faster code path in FLINT.
* Improved conversion from SageMath number fields to pyeantic `RealEmbeddedNumberField`. This **adds a dependency** of pyeantic on gmpxxyy.
v1.1.1
====================
**Deprecated:**
* Deprecated arithmetic between elements in different number fields in the C++ interface. Before, an operation such as `a + b` was possible even if `a` and `b` lived in different number fields if at least one of them was actually a rational number. This led to inconsistent parent fields of the resulting element. We still allow such operations if the parent of `a` or `b` is the rational field (`renf_class::make()`) otherwise a deprecation warning is printed. To fully opt in to the new behaviour set the environment variable `LIBEANTIC_STRICT_BINOP` to any value; this raises an exception instead of printing a warning.
**Fixed:**
* Fixed a compilation error on some xenial systems.
* Fixed import order in pyeantic's setup.py script.
* Fixed inclusion of .map files in distribution tarball even if building without version script support.
**Performance:**
* Improved performance of `RealEmbeddedNumberField` in Python interface by caching results. In particular the costly conversion from `renf_class`.
v1.1.0
====================
**Added:**
* automatic integration checks for [Normaliz](https://github.com/Normaliz/Normaliz)
* Added support for Python 3.10; we are now automatically testing pyeantic with
Python 3.10.
* Added `renf_class` that uses a root with dynamic precision. (Makes it easier to specify a root when the roots of the minimal polynomial are very close to each other.)
**Changed:**
* We do not claim anymore that `_cmp` functions return -1, 0, 1. Instead we
only make a statement about the sign of the integer returned. In practice we
still return -1, 0, 1 for the time being.
* Header file `e-antic.h` is now called `local.h`. There is still a header file
`e-antic.h` that includes all of e-antic's C interface, so in particular
`local.h`.
* Header file `renfxx_fwd.hpp` is now called `forward.hpp`. The old header file
`renfxx_fwd.hpp` can still be used.
* Header file `renfxx.h` is now called `e-antic.hpp`. The old header file
`renfxx.h` can still be used.
* Dropped explicit support for Python 3.6 which has reached its end of life. It
should still work but we are not testing it explicitly in our CI anymore.
**Fixed:**
* We do not assume anymore that `_cmp` functions return -1, 0, 1. FLINT, GMP,
and Arb only guarantee that these functions return a negative, zero, or
positive integer. In practice their implementations return -1, 0, 1, however
in some obscure case on Fedora/i686, this was not the case.
* Removed unused includes that cannot be resolved on Windows.
* Fixed a compiler warning on Fedora.
* Improved the error message when arb headers cannot be found. Fedora installs the arb headers into /usr/include/arb instead of /usr/include.
* Added missing `LIBEANTIC_API` declarators so building with `-fvisibility=hidden` produces a usable libeanticxx.so.
* Updated installation instructions for installation from conda-forge. The
e-antic package there has been renamed to libeantic. The package `e-antic`
still exists but is now essentially an alias for `libeantic` and `pyeantic`.
* Worked around doctesting issues in SageMath 9.4.
* Fixed failing SageMath tests when pytest is installed.
* Fixed construction of `RealEmbeddedNumberField` in Python when roots of the minimal polynomial are very close to each other.
v1.0.3
====================
**Fixed:**
* Cleaned up the README and our Zenodo site.
* Fixed linking of C++ test programs.
v1.0.2
====================
**Fixed:**
* removed docbuild warnings for latest version of mkdocs.
* Fixed parsing of trivial number fields in pyeantic. #197
* Conversion from `NumberField` to `RealEmbeddedNumberField` when defining polynomial is not in `x`.
v1.0.1
====================
**Fixed:**
* `./configure` now checks for cppyythonizations which are required to run Python tests
* allow creation of `RealEmbeddedNumberField` from an intrusive pointer in pyeantic.
* Skip tests requiring realalg and sage when configured --without-realalg and --without-sage, respectively.
* Disable pyeantic testing --without-pytest.
v1.0.0
====================
**Added:**
* Added `renf_class::construction()` which produces the parameters that can be used to create a `renf_class` with `renf_class::make()`.
* Run CI on macOS & Linux
* Added `renf_class::get_pword` to extract the number field set with `renf_class::set_pword` to ease migration of legacy code.
* Added `.map` files so only API symbols get exported when running `./configure --with-version-script`.
* Added visibility attributes to header files; this will be necessary on Windows and allows compilation with `-fvisibility=hidden`
* Conda packages are now uploaded automatically to the flatsurf channel with every release.
* Integrated the Python wrapper pyeantic into the e-antic repository
* Added `renf_elem_class::floordiv()` to perform `(a/b).floor()` more efficiently
* Floor division of `renf_elem_t`
* Added the missing implementations of free `floor`, `ceil`, and `pow` functions to the C++ library.
* Added `renf_elem_swap(renf_elem_t, renf_elem_t)`
* There is now `e-antic/renfxx_fwd.hpp` if you only need forward declarations
of `renf_class` and `renf_elem_class`.
* `renf_elem_class` can now be created from signed and unsigned long long.
* `renf_elem_class` can now be created from vectors of primitive integers, e.g.,
```
renf_elem_class x(K, {1, 2, 3}); // = 3*x^2 + 2*x + 1
```
where before the entries of the vector had to be `mpz_class`.
* Move semantics `&&` have been added to `renf_elem_class`.
* There is now support for serialization with cereal. See t-cereal.cpp for
examples on how to use it.
* The release process has been automated with [rever](https://regro.github.io/rever-docs/)
**Changed:**
* Split `renfxx.h` into `renf_elem_class.hpp` and `renf_class.hpp` headers. The
original header still exists and simply includes the two novel headers.
* Split the header `e-antic/poly_extra.h` into `e-antic/fmpz_poly_extra.h` and
`e-antic/fmpq_poly_extra.h`. Typically, you do not want to include either of
those as they are mostly meant to be used internally.
* C++ Comparison operators of `renf_elem_class` are now free so they participate in
implicit casts in the same way like the boost generated free operators that
are derived from them.
* The C++ interface now requires C++14.
* All C++ classes are now declared in the namespace `eantic`.
* The semantics of the C++ `operator =` have changed. In e-antic 0.1 the
following would create the unit in the field K.
```
renf_elem_class x(K);
x = 1;
```
Now the above statement makes x a rational number. More generally, an
assignment resets the number field so that after `x = y` the condition
`x.nf == renf_elem_class(y).nf` holds. To mimic the old behavior you need
to rewrite the above as
```
renf_elem_class x(K);
x = renf_elem_class(K, 1);
```
* The C++ `renf_class` is now hidden behind a factory to get smart pointer
semantics everywhere. Create a `renf_class` by calling `renf_class::make(…)`.
This returns a smart pointer, so you might have to replace some `.` with
`->`.
* The change of semantics in assignment also affects reading from streams (in
order to create `renf_elem_class`). Before the following would parse an element
into a number field:
```
renf_elem_class x(K);
in >> x;
```
Now this only works if the stream contains a rational number. (Otherwise an
exception is raised.) As `in >> x` also resets `x.nf`. The above code should
be replaced with:
```
renf_elem_class x;
K.set_pword(in);
in >> x;
```
* `string renf_class::gen_name` is now a method so it needs to be called.
* Many operations that threw an exception before when domains were mixed, now
abort program execution (typically through a call to `assert()`.) You are not
supposed to mix domains unless explicitly stated otherwise.
* `renf_class.operator==` now also checks that the generator name is the same.
Similarly, `renf_class.operator=` now also resets the generator name.
* Changed renf_elem generator in C++ unit tests to always start with the zero
element since it probably does not get generated by chance and can obviously
cause a lot of trouble.
**Deprecated:**
* Some methods have been deprecated and might be removed in a future release,
mostly to make the interface more consistent. The deprecation warnings give
hints which methods to use instead.
**Removed:**
* `renf_elem_class(string&)` has been removed. If you want to parse a rational
number, use `renf_elem_class(mpq_class(string))`. If you want to parse into a
number field, use `renf_elem_class(renf_class&, string&)`.
* `renf_elem_class::operator=(string&)` has been removed. If you want to parse
a rational into an element, use `x = mpq_class(string)`. If you want to parse
into a number field, use `x = renf_elem_class(x.parent(), string)`.
* `renf_elem_class(vector<...>)` have been removed as it would have thrown an
exception always anyway.
* `renf_elem_class::operator=(vector<...>)` have been removed due to the change
of semantics of `=`. If `x` is not a rational you get the same behaviour as
before with `x = renf_elem_class(x.parent(), {1, 2, 3})`.
* `renf_class::xalloc()` has been removed and replaced by an implementation
detail.
**Fixed:**
* Compatible with FLINT 2.7
* Removed dependency of `renfxx_cereal.h` on Arb and FLINT, i.e., one does not need to `-larb -lflint` anymore when using cereal.
* Set pins in Conda packages as they are in https://github.com/conda-forge/conda-forge-pinning-feedstock
* `E_ANTIC_RELEASE` now reports the correct version number, i.e., 10000.
* e-antic had claimed to be thread safe via an open MP pragma (in the number
field refinement). In some cases, there was a problem with thread-safety. We
now require users to explicitly mark multithreaded sections by forbidding
mutations to a renf, see `renf_set_immutable`. As a result, there are some
operations that cannot be done anymore in a multi-threaded environment but
they now fail properly (instead of leading to random crashes.)
**Performance:**
* Speed up arithmetic between `renf_elem_class` in C++ interface.
* Speed up creation of trivial number fields by a factor of seven.
* Speed up `renf_class::operator==`
v1.0.0-rc.16
====================
**Fixed:**
* Fixed arithmetic with rationals in different number fields.
v1.0.0-rc.15
====================
**Fixed:**
* Made lexical_cast include work with more versions of boost.
v1.0.0-rc.14
====================
**Changed:**
* Split `renfxx.h` into `renf_elem_class.hpp` and `renf_class.hpp` headers. The
original header still exists and simply includes the two novel headers.
**Performance:**
* Speed up arithmetic between `renf_elem_class` in C++ interface.
* Speed up creation of trivial number fields by a factor of seven.
v1.0.0-rc.13
====================
**Added:**
* Added `renf_class::construction()` which produces the parameters that can be used to create a `renf_class` with `renf_class::make()`.
**Fixed:**
* compatible with FLINT 2.7
* Removed dependency of `renfxx_cereal.h` on Arb and FLINT, i.e., one does not need to `-larb -lflint` anymore when using cereal.
v1.0.0-rc.12
====================
**Added:**
* run CI on macOS & Linux
* added `renf_class::get_pword` to extract the number field set with `renf_class::set_pword` to ease migration of legacy code.
* added `.map` files so only API symbols get exported when running `./configure --with-version-script`.
+ added visibility attributes to header files; this will be necessary on Windows and allows compilation with `-fvisibility=hidden`
**Fixed:**
* set pins in Conda packages as they are in https://github.com/conda-forge/conda-forge-pinning-feedstock
* adapt to changes in cppyy 1.9.0
* `E_ANTIC_RELEASE` now reports the correct version number, i.e., 10000.
v1.0.0-rc.11
====================
**Fixed:**
* fixed pyeantic version bump in rever script
v1.0.0-rc.10
====================
**Added:**
* Conda packages are now uploaded automatically to the flatsurf channel with every release.
* integrated pyeantic into the e-antic repository
v1.0.0-rc.9
====================
**Changed:**
* Split the header `e-antic/poly_extra.h` into `e-antic/fmpz_poly_extra.h` and
`e-antic/fmpq_poly_extra.h`. Typically, you do not want to include either of
those as they are mostly meant to be used internally.
**Fixed:**
* Either side of a floor division may now be rational.
v1.0.0-rc.8
====================
**Added:**
* `renf_elem_class::floordiv()` to perform `(a/b).floor()` more efficiently
**Changed:**
* changed renf_elem generator to always start with the zero element since it
probably does not get generated by chance and can obviously cause a lot of
trouble.
v1.0.0-rc.7
====================
v1.0.0-rc.6
====================
v1.0.0-rc.5
====================
**Added:**
* floor division of `renf_elem_t`
* added the missing implementations of free `floor`, `ceil`, and `pow` functions to the C++ library.
**Changed:**
* simplified testing of binary operators
* Comparison operators of `renf_elem_class` are now free so they participate in
implicit casts in the same way like the boost generated free operators that
are derived from them.
**Fixed:**
* Adapted to changes in unique-factory.
* implemented `renf_elem_class(renf_class, std::vector)` constructors that went missing in 39e1215e421e128b230fb62ff88ae0ac9b6414e7.
**Performance:**
* Speed up `renf_class::operator==`
v1.0.0-rc.3
====================
**Fixed:**
* release tarball was missing some header files with long names
v1.0.0-rc.2
====================
**Added:**
* ` renf_elem_swap(renf_elem_t, renf_elem_t)`
* There is now `e-antic/renfxx_fwd.h` if you only need forward declarations of
`renf_class` and `renf_elem_class`.
* `renf_elem_class` can now be created from signed and unsigned long long.
* `renf_elem_class` can now be created from vectors of primitive integers, e.g.,
```
renf_elem_class x(K, {1, 2, 3}); // = 3*x^2 + 2*x + 1
```
where before the entries of the vector had to be `mpz_class`.
* Move semantics `&&` have been added to `renf_elem_class`.
* There is now support for serialization with cereal. See t-cereal.cpp for
examples on how to use it.
* the release process has been automated with [rever](https://regro.github.io/rever-docs/)
**Changed:**
* `e-antic/renfxx.h` now requires C++17.
* All classes are now declared in the namespace `eantic`.
* The semantics of `operator =` have changed. In e-antic 0.1 the following
would create the unit in the field K.
```
renf_elem_class x(K);
x = 1;
```
Now the above statement makes x a rational number. More generally, an
assignment resets the number field so that after `x = y` the condition
`x.nf == renf_elem_class(y).nf` holds. To mimic the old behavior you need
to rewrite the above as
```
renf_elem_class x(K);
x = renf_elem_class(K, 1);
```
* `renf_class` is now hidden behind a factory to get shared_ptr semantics
everywhere. Create a `renf_class` by calling `renf_class::make(…)`. This
returns a smart pointer, so you might have to replace some `.` with `->`.
* The change of semantics in assignment also affects reading from streams (in
order to create `renf_elem_class`). Before the following would parse an element
into a number field:
```
renf_elem_class x(K);
in >> x;
```
Now this only works if the stream contains a rational number. (Otherwise an
exception is raised.) As `in >> x` also resets `x.nf`. The above code should
be replaced with:
```
renf_elem_class x;
K.set_pword(in);
in >> x;
```
* `string renf_class::gen_name` is now a method so it needs to be called.
* Many operations that threw an exception before when domains were mixed, now
abort program execution (typically through a call to `assert()`.) You are not
supposed to mix domains unless explicitly stated otherwise.
* `renf_class.operator==` now also checks that the generator name is the same.
Similarly, `renf_class.operator=` now also resets the generator name.
**Deprecated:**
* Some methods have been deprecated and might be removed in a future release,
mostly to make the interface more consistent. The deprecation warnings give
hints which methods to use instead.
**Removed:**
* `renf_elem_class(string&)` has been removed. If you want to parse a rational
number, use `renf_elem_class(mpq_class(string))`. If you want to parse into a
number field, use `renf_elem_class(renf_class&, string&)`.
* `renf_elem_class::operator=(string&)` has been removed. If you want to parse
a rational into an element, use `x = mpq_class(string)`. If you want to parse
into a number field, use `x = renf_elem_class(x.parent(), string)`.
* `renf_elem_class(vector<...>)` have been removed as it would have thrown an
exception always anyway.
* `renf_elem_class::operator=(vector<...>)` have been removed due to the change
of semantics of `=`. If `x` is not a rational you get the same behaviour as
before with `x = renf_elem_class(x.parent(), {1, 2, 3})`.
* `renf_class::xalloc()` has been removed and replaced by an implementation
detail.
**Fixed:**
* e-antic had claimed to be thread safe via an open MP pragma (in the number
field refinement). In some cases, there was a problem with thread-safety. We
now require users to explicitly mark multithreaded sections by forbidding
mutations to a renf, see `renf_set_immutable`. As a result, there are some
operations that cannot be done anymore in a multi-threaded environment but
they now fail properly (instead of leading to random crashes.)
v0.1
====
**Added:**
* real roots isolation and refinement (poly_extra.h)
* renf structure (renf.h)
* renf_elem structures (renf_elem.h)
* C++ interface (renfxx.h)
Generated by dwww version 1.15 on Sat Jun 15 00:18:09 CEST 2024.