mathics-core icon indicating copy to clipboard operation
mathics-core copied to clipboard

Implementation of Missing Functions in Mathics

Open vitrun opened this issue 1 year ago • 5 comments

Is your feature request related to a problem? Please describe. I found some functions in Wolfram Language are missing in Mathics, such as Refine, Reduce, AddSides, SubtractSides, MultiplySides, DivideSides, ApplySides. Was it intentionally designed to be like this, or a missing feature?

Describe the solution you'd like Perhaps we could implement the missing functions. Alternatively, do you have any suggestions on how we could achieve those functionalities?

Additional context We're currently exploring the possibility of using Mathics as an alternative to Wolfram Language for algebraic calculations. The availability of major functions is an important factor we're considering.

vitrun avatar Jun 14 '23 09:06 vitrun

Sure, if there is someone up for doing it, I can help.

mmatera avatar Jun 14 '23 11:06 mmatera

Who is the "we" in

We're currently exploring the possibility of using Mathics as an alternative to Wolfram Language for algebraic calculations.

?

rocky avatar Jun 14 '23 12:06 rocky

Hi @rocky, Thanks for creating Mathics. I am currently the only one using it. I'm experimenting with Mathics to see if it could be useful in our educational system. BTW, the system is still in early ideation stage. I'm not entirely sure if I'm allowed to share more details at this point.

vitrun avatar Jun 15 '23 03:06 vitrun

Sure, if there is someone up for doing it, I can help.

Hi @mmatera , I'm personally very willing to. Let me first take a look at the doc and see if I can start with an easier task.

vitrun avatar Jun 15 '23 04:06 vitrun

@vitrun as a first step, you can try to write an implementation of the desired functions in WL, using the currently implemented subset of symbols. If it is not possible, or for performance reasons then you can try to port the java code that @axkr mentioned to Python.

mmatera avatar Jun 15 '23 12:06 mmatera