Implement Refine, Reduce, AddSides, SubtractSides, MultiplySides, DivideSides, and ApplySides functions

[vitrun]

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.

[mmatera]

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

[rocky]

Who is the "we" in

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

?

[vitrun]

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]

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.

[mmatera]

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