Fix Rational parsing in Mathematica parser

[jcwhitehead]

References to other Issues or PRs

Fixes #25716

Brief description of what is fixed or changed

The Mathematica parser at present creates an AppliedUndef function with the same name and syntax as the built-in sympy Rational type, but none of the properties. This is because the conversion is not defined in the parser.

This PR adds the relevant conversion and a simple test to the test cases.

Release Notes

• parsing
  • Fixed a bug in the Mathematica parser parsing rational objects Rational[p,q].

[sympy-bot]

✅

Hi, I am the SymPy bot. I'm here to help you write a release notes entry. Please read the guide on how to write release notes.

Your release notes are in good order.

Here is what the release notes will look like:

• parsing
  • Fixed a bug in the Mathematica parser parsing rational objects Rational[p,q]. (#25717 by @jcwhitehead)

This will be added to https://github.com/sympy/sympy/wiki/Release-Notes-for-1.13.

Click here to see the pull request description that was parsed.

<!-- Your title above should be a short description of what
was changed. Do not include the issue number in the title. -->

#### References to other Issues or PRs
Fixes #25716

#### Brief description of what is fixed or changed
The Mathematica parser at present creates an `AppliedUndef` function with the same name and syntax as the built-in sympy `Rational` type, but none of the properties. This is because the conversion is not defined in the parser.

This PR adds the relevant conversion and a simple test to the test cases.


#### Release Notes

<!-- Write the release notes for this release below between the BEGIN and END
statements. The basic format is a bulleted list with the name of the subpackage
and the release note for this PR. For example:


See https://github.com/sympy/sympy/wiki/Writing-Release-Notes for more
information on how to write release notes. The bot will check your release
notes automatically to see if they are formatted correctly. -->

<!-- BEGIN RELEASE NOTES -->
* parsing
  * Fixed a bug in the Mathematica parser parsing rational objects Rational[p,q].
<!-- END RELEASE NOTES -->

Update

The release notes on the wiki have been updated.

[1e9abhi1e10]

It appears that this is your initial pull request, so you'll need to include your name and email address in the .mailmap file.
https://docs.sympy.org/dev/contributing/new-contributors-guide/workflow-process.html#add-your-name-and-email-address-to-the-mailmap-file

[sylee957]

Why not just

Suggested change

	"Rational": lambda *a: Rational(*a),
	"Rational": Rational,

[jcwhitehead]

No reason except for clarity that it's a two-argument function that takes its arguments in the same order as Mathematica. Probably better without the lambda-function, so I'll make that change.

[github-actions]

Benchmark results from GitHub Actions

Lower numbers are good, higher numbers are bad. A ratio less than 1
means a speed up and greater than 1 means a slowdown. Green lines
beginning with + are slowdowns (the PR is slower then master or
master is slower than the previous release). Red lines beginning
with - are speedups.

Significantly changed benchmark results (PR vs master)

Significantly changed benchmark results (master vs previous release)

| Change   | Before [8059df73] <sympy-1.12^0>   | After [c0c175e3]    |   Ratio | Benchmark (Parameter)                                                |
|----------|------------------------------------|---------------------|---------|----------------------------------------------------------------------|
| -        | 85.7±0.5ms                         | 57.1±0.4ms          |    0.67 | integrate.TimeIntegrationRisch02.time_doit(10)                       |
| -        | 85.2±1ms                           | 56.7±0.4ms          |    0.67 | integrate.TimeIntegrationRisch02.time_doit_risch(10)                 |
| +        | 22.4±0.06μs                        | 38.9±0.1μs          |    1.74 | integrate.TimeIntegrationRisch03.time_doit(1)                        |
| -        | 6.95±0.05ms                        | 3.75±0.01ms         |    0.54 | logic.LogicSuite.time_load_file                                      |
| -        | 2.10±0ms                           | 660±1μs             |    0.31 | polys.TimePREM_LinearDenseQuadraticGCD.time_op(3, 'sparse')          |
| -        | 10.3±0.02ms                        | 1.96±0ms            |    0.19 | polys.TimePREM_LinearDenseQuadraticGCD.time_op(5, 'sparse')          |
| -        | 369±0.8μs                          | 82.4±0.3μs          |    0.22 | polys.TimePREM_QuadraticNonMonicGCD.time_op(1, 'sparse')             |
| -        | 4.87±0.01ms                        | 365±0.7μs           |    0.07 | polys.TimePREM_QuadraticNonMonicGCD.time_op(3, 'sparse')             |
| -        | 10.5±0.04ms                        | 1.09±0ms            |    0.1  | polys.TimePREM_QuadraticNonMonicGCD.time_op(5, 'sparse')             |
| -        | 6.28±0.01ms                        | 3.95±0.01ms         |    0.63 | polys.TimeSUBRESULTANTS_LinearDenseQuadraticGCD.time_op(2, 'sparse') |
| -        | 27.2±0.06ms                        | 12.1±0.03ms         |    0.44 | polys.TimeSUBRESULTANTS_LinearDenseQuadraticGCD.time_op(3, 'sparse') |
| -        | 6.92±0.01ms                        | 1.17±0.01ms         |    0.17 | polys.TimeSUBRESULTANTS_QuadraticNonMonicGCD.time_op(1, 'sparse')    |
| -        | 16.2±0.03ms                        | 9.19±0.02ms         |    0.57 | polys.TimeSUBRESULTANTS_QuadraticNonMonicGCD.time_op(2, 'sparse')    |
| -        | 211±0.2ms                          | 70.7±0.05ms         |    0.33 | polys.TimeSUBRESULTANTS_QuadraticNonMonicGCD.time_op(3, 'sparse')    |
| -        | 6.39±0.01ms                        | 534±1μs             |    0.08 | polys.TimeSUBRESULTANTS_SparseGCDHighDegree.time_op(3, 'sparse')     |
| -        | 27.8±0.05ms                        | 853±2μs             |    0.03 | polys.TimeSUBRESULTANTS_SparseGCDHighDegree.time_op(5, 'sparse')     |
| -        | 612±1μs                            | 198±0.6μs           |    0.32 | polys.TimeSUBRESULTANTS_SparseNonMonicQuadratic.time_op(1, 'sparse') |
| -        | 6.52±0.01ms                        | 202±1μs             |    0.03 | polys.TimeSUBRESULTANTS_SparseNonMonicQuadratic.time_op(3, 'sparse') |
| -        | 17.2±0.04ms                        | 205±1μs             |    0.01 | polys.TimeSUBRESULTANTS_SparseNonMonicQuadratic.time_op(5, 'sparse') |
| -        | 163±0.2μs                          | 89.4±0.2μs          |    0.55 | solve.TimeMatrixOperations.time_rref(3, 0)                           |
| -        | 312±0.4μs                          | 108±0.4μs           |    0.35 | solve.TimeMatrixOperations.time_rref(4, 0)                           |
| -        | 32.2±0.2ms                         | 13.5±0.03ms         |    0.42 | solve.TimeSolveLinSys189x49.time_solve_lin_sys                       |

Full benchmark results can be found as artifacts in GitHub Actions
(click on checks at the top of the PR).