Skip to content

Define promotion traits involving GMPField types

Simon Praetorius requested to merge issue/gmp_promotion_traits into master

Summary

Define missing promotion traits involving GMPField types

Details

Whenever a GMPField is used as a field type in FieldVector, arithmetic operations with this vector involve the determination of promotion types for GMField with another GMPField or with another scalar. Since the promotion types are defined by decltype(a + b) the result is a gmp_expr that cannot be put into a vector.

This MR defines the promotion types, by taking the GMPField with the highest precision if two gmp's are involved, if combined with another type, always prefer the GMPField. This is not optimal, since another type could have higher precision than the GMPField, but this is not so easy to detect.

Edited by Simon Praetorius

Merge request reports