Adapt to simplified unique-factory

flatsurf / e-antic

Embedded algebraic number fields

https://flatsurf.github.io/e-antic/libeantic/

GNU Lesser General Public License v3.0

12 stars 11 forks source link

Adapt to simplified unique-factory #136

Closed saraedum closed 4 years ago

saraedum commented 4 years ago

We recently simplified the unique-factory that is also used by exact-real quite a bit. This performs the necessary changes to e-antic and also speeds up renf_class::operator== which now uses the fact that renf_class are unique parents so equality can be decided by comparing poniters.