You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Maple simplifier is close to being able to tackle arrays; test cases are needed for this to happen. There is at least one in DisintT (helloWorld); there are potential sources of more tests:
Programs in examples/icfp2017 as compared to the output of the Haskell disintegrator.
Generalizing existing Maple test cases to multiple, fixed dimension (i.e. HReal -> Pair(HReal, HReal)) and to arrays of arbitrary dimension (HReal -> HArray HReal).
The text was updated successfully, but these errors were encountered:
The Maple simplifier is close to being able to tackle arrays; test cases are needed for this to happen. There is at least one in
DisintT
(helloWorld
); there are potential sources of more tests:Programs in
examples/icfp2017
as compared to the output of the Haskell disintegrator.Generalizing existing Maple test cases to multiple, fixed dimension (i.e.
HReal
->Pair(HReal, HReal)
) and to arrays of arbitrary dimension (HReal
->HArray HReal
).The text was updated successfully, but these errors were encountered: