Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Test cases for Disintegration of Plate #71

Open
yuriy0 opened this issue May 29, 2017 · 0 comments
Open

Test cases for Disintegration of Plate #71

yuriy0 opened this issue May 29, 2017 · 0 comments

Comments

@yuriy0
Copy link

yuriy0 commented May 29, 2017

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).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant