diff --git a/CHANGELOG.md b/CHANGELOG.md index afb0079..16c45e0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -286,4 +286,10 @@ invalid function-like object. * Function `polynomialSubresultants`, to compute the polynomial subresultants of two sprays (while the `subresultants` function computes the principal -subresultants). \ No newline at end of file +subresultants). + +* Function `sturmHabichtSequence`, to compute the Sturm-Habicht sequence of a +spray. + +* Function `principalSturmHabichtSequence`, to compute the principal +Sturm-Habicht sequence of a spray. diff --git a/tests/Main.hs b/tests/Main.hs index 4a2bb3a..452b647 100644 --- a/tests/Main.hs +++ b/tests/Main.hs @@ -834,7 +834,7 @@ main = defaultMain $ testGroup ] ) - , testCase "sturmHabichtSequence" $ do + , testCase "sturmHabichtSequence & principalSturmHabichtSequence" $ do let x = qlone 1 y = qlone 2