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

Support FiniteSet #4

Open
softaria-roman opened this issue Apr 7, 2020 · 3 comments
Open

Support FiniteSet #4

softaria-roman opened this issue Apr 7, 2020 · 3 comments
Labels
bug Something isn't working

Comments

@softaria-roman
Copy link
Contributor

SYMPY UNSUPPORTED INPUT as JSON:

{"type":"structure","name":"interval","symbols":{},"errors":[],"intervalType":"closed","leftBound":{"type":"structure","name":"logarithm","symbols":{},"errors":[],"base":{"type":"structure","name":"number","symbols":{"symbols":[]},"errors":[],"value":"0.00"},"operand":{"type":"structure","name":"number","symbols":{"symbols":[]},"errors":[],"value":"34.01"}},"rightBound":{"type":"structure","name":"functionDifference","symbols":{},"errors":[],"func":{"type":"structure","name":"variable","symbols":{"comma":[]},"errors":[],"indexes":[],"value":"psi","isGreek":true},"upLimitValue":{"type":"structure","name":"constant","symbols":{},"errors":[],"value":"imaginaryUnit"},"downLimitValue":{"type":"structure","name":"variable","symbols":{"comma":[]},"errors":[],"indexes":[],"value":"t","isGreek":false}}}

PREPARED:

{"token":{"type":"Interval","args":[{"type":"log","args":[{"type":"Float","args":[{"type":"$String","v":"34.01"}]},{"type":"Integer","args":[{"type":"$String","v":"0"}]}]},{"type":"Add","args":[{"type":"$Method","args":[{"type":"Symbol","args":[{"type":"$String","v":"'t'"}]},{"type":"$String","v":"I"}],"object":{"type":"Symbol","args":[{"type":"$String","v":"'psi'"}]},"method":"subs"},{"type":"Mul","args":[{"type":"Integer","args":[{"type":"$String","v":"-1"}]},{"type":"$Method","args":[{"type":"Symbol","args":[{"type":"$String","v":"'t'"}]},{"type":"Symbol","args":[{"type":"$String","v":"'t'"}]}],"object":{"type":"Symbol","args":[{"type":"$String","v":"'psi'"}]},"method":"subs"}]}]}]}}

WAS SENT TO SYMPY:

Interval(log(Float(34.01),Integer(0)),Add((Symbol('psi')).subs(Symbol('t'),I),Mul(Integer(-1),(Symbol('psi')).subs(Symbol('t'),Symbol('t')))))```
@softaria-roman softaria-roman added the bug Something isn't working label Apr 7, 2020
@softaria-roman
Copy link
Contributor Author

softaria-roman commented Apr 9, 2020

RAW RESULT FROM SYMPY: Contains(Mul(Integer(86), Symbol('u')), FiniteSet(Integer(4)))
SYMPY UNSUPPORTED INPUT as JSON:{"type":"structure","name":"includeSet","symbols":{},"errors":[],"fexp":{"type":"structure","name":"implicitMultiply","symbols":{},"errors":[],"left":{"type":"structure","name":"number","symbols":{"symbols":[]},"errors":[],"value":"86"},"right":{"type":"structure","name":"variable","symbols":{"comma":[]},"errors":[],"indexes":[],"value":"u","isGreek":false}},"set":{"type":"structure","name":"interval","symbols":{},"errors":[],"intervalType":"closed","leftBound":{"type":"structure","name":"number","symbols":{"symbols":[]},"errors":[],"value":"4"},"rightBound":{"type":"structure","name":"number","symbols":{"symbols":[]},"errors":[],"value":"4"}}}
PREPARED: {"token":{"type":"$Method","args":[{"type":"Mul","args":[{"type":"Integer","args":[{"type":"$String","v":"86"}]},{"type":"Symbol","args":[{"type":"$String","v":"'u'"}]}]}],"object":{"type":"Interval","args":[{"type":"Integer","args":[{"type":"$String","v":"4"}]},{"type":"Integer","args":[{"type":"$String","v":"4"}]}]},"method":"contains"}}
WAS SENT TO SYMPY: (Interval(Integer(4),Integer(4))).contains(Mul(Integer(86),Symbol('u')))

  1. tests sympy client include[86@lvar[u],ci[4,4]]

@softaria-roman
Copy link
Contributor Author

  1. tests sympy client include[86@lvar[u],ci[4,4]]:
    AssertionError: Unsupported constructionFiniteSet/Unknown function: FiniteSet(Integer(4))/Contains(Mul(Integer(86),Symbol('u')),FiniteSet(Integer(4)))
    at Context. (tsOutputs/test/sympy-client-bdd.js:72:40)
    at Generator.throw ()
    at rejected (tsOutputs/test/sympy-client-bdd.js:6:65)
    at processTicksAndRejections (internal/process/task_queues.js:85:5)

@softaria-roman
Copy link
Contributor Author

  1. tests sympy client ci[const[e],const[e]] ∪ ∅ ∩ ∅:
    AssertionError: Unsupported constructionFiniteSet/Unknown function: FiniteSet(E)/FiniteSet(E)
    at Context. (tsOutputs/test/sympy-client-bdd.js:72:40)
    at Generator.throw ()
    at rejected (tsOutputs/test/sympy-client-bdd.js:6:65)
    at processTicksAndRejections (internal/process/task_queues.js:85:5)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant