Documentation

singular :: Text -> IO Text Source #

readSingularPoly :: IsSingularPolynomial poly => proxy poly -> Text -> Maybe poly Source #

readSingularIdeal :: IsSingularPolynomial poly => proxy poly -> Text -> Maybe [poly] Source #

evalSingularWith :: IsSingularPolynomial p => [SingularLibrary] -> [SingularOption] -> SingularExpr p -> IO Text Source #

evalSingular :: IsSingularPolynomial p => SingularExpr p -> IO Text Source #

evalSingularIdealWith :: IsSingularPolynomial r => [SingularLibrary] -> [SingularOption] -> SingularExpr r -> IO (Ideal r) Source #

evalSingularPolyWith :: IsSingularPolynomial r => [SingularLibrary] -> [SingularOption] -> SingularExpr r -> IO r Source #

module Algebra.Bridge.Singular.Syntax