FEECa

FEECa copied to clipboard

In accordance to the actual definition of a module vs a vector space in mathematics (given the current `Ring` constraint on the associated type family `Scalar` of the class `VectorSpace`,...

Airini

Remove "synthetic/implementation" class functions

5

Such as those converting to and from 'Double' in ['Field'](https://github.com/Airini/FEECa/blob/master/src/FEECa/Internal/Spaces.hs). So far, they are seen in: * (pretty) printing * testing, e.g. ['eqNum'](https://github.com/Airini/FEECa/blob/master/src/FEECa/Utility/Utility.hs) to account for margins of numerical error...

Airini

_Check out mail_, so as to carry on with the writing and polishing of FEECa. Merge changes in implementation and/or documentation into the main branch (when ready and tested).

Airini