Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

# Documentation

class Group r v => Vector r v where Source #

(mult | divide), toFreeVector

toFreeVector1 :: (Vector r a, DBI r) => r h a -> r h (FreeVector (Basis a) Double) Source #

Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

class Group r v => Vector r v where Source #

(mult | divide), toFreeVector

toFreeVector1 :: (Vector r a, DBI r) => r h a -> r h (FreeVector (Basis a) Double) Source #