• Search by Module
• Search by Words
• Search Projects

• Java
• Python
• JavaScript
• TypeScript
• C++
• Scala
• Blog

• fungrim-master
  • fungrim.py
  • grim.html
  • katex.js
  • LICENSE
  • source_scripts
    • xray.py
    • recurrences.sage
  • grimdoc.py
  • setup.py
  • fungrim.svg
  • README.md
  • test.py
  • .gitignore
  • doc
    • Makefile
    • source
      • expr.rst
      • numbers.rst
      • algebraic.rst
      • brain.rst
      • grinx.py
      • index.rst
      • conf.py
      • _static
        • default.css
  • pygrim
    • formulas
      • complex_parts.py
      • general_functions.py
      • agm.py
      • golden_ratio.py
      • lambertw.py
      • modular_lambda.py
      • log.py
      • stirling_numbers.py
      • pi.py
      • gaussian_quadrature.py
      • numbers.py
      • eisenstein.py
      • complex_plane.py
      • dedekind_eta.py
      • dirichlet.py
      • chebyshev.py
      • logic.py
      • prime_numbers.py
      • sinc.py
      • jacobi_theta.py
      • hurwitz_zeta.py
      • powers.py
      • gcd.py
      • multiple_zeta_values.py
      • fibonacci.py
      • modular_j.py
      • imaginary_unit.py
      • modular_transformations.py
      • partitions.py
      • digamma_function.py
      • integrals.py
      • halphen_constant.py
      • beta_function.py
      • bell_numbers.py
      • carlson_elliptic.py
      • factorials.py
      • totient.py
      • const_gamma.py
      • gauss_hypergeometric.py
      • atan.py
      • bernoulli_numbers.py
      • bessel.py
      • exp.py
      • weierstrass_elliptic.py
      • integer_sequences.py
      • __init__.py
      • barnes_g.py
      • confluent_hypergeometric.py
      • legendre_elliptic.py
      • gamma.py
      • airy.py
      • sqrt.py
      • legendre_polynomial.py
      • const_catalan.py
      • operators.py
      • coulomb_wave.py
      • symbolic_expressions.py
      • sine.py
      • landau_function.py
      • riemann_zeta.py
      • error_functions.py
    • sympy_interface.py
    • algebraic.py
    • latex.py
    • __init__.py
    • numeric.py
    • expr.py
    • ordner.py

from .expr import *

def grim_to_sympy(expr, **kwargs):
    import sympy
    assert isinstance(expr, Expr)
    if expr.is_integer():
        return sympy.sympify(int(expr))
    if expr.is_symbol():
        if expr == Pi:
            return sympy.pi
        if expr == ConstI:
            return sympy.I
        if expr == ConstE:
            return sympy.E
        return sympy.Symbol(str(expr))
    head = expr.head()
    args = [grim_to_sympy(x, **kwargs) for x in expr.args()]
    if head in (Pos, Parentheses, Brackets, Braces, AngleBrackets, Logic):
        x, = args
        return x
    if expr.head() == Add:
        return sympy.Add(*args)
    if expr.head() == Mul:
        return sympy.Mul(*args)
    if expr.head() == Neg:
        x, = args
        return -x
    if expr.head() == Sub:
        a, b = args
        return a - b
    if expr.head() == Div:
        p, q = args
        return p / q
    if expr.head() == Pow:
        b, e = args
        return b ** e
    if expr.head() == Sqrt:
        x, = args
        return sympy.sqrt(x)
    raise NotImplementedError("converting %s to SymPy", expr.head())

def sympy_to_grim(expr, **kwargs):
    import sympy
    assert isinstance(expr, sympy.Expr)
    if expr.is_Integer:
        return Expr(int(expr))
    if expr.is_Symbol:
        return Expr(symbol_name=expr.name)
    if expr is sympy.pi:
        return Pi
    if expr is sympy.E:
        return ConstE
    if expr is sympy.I:
        return ConstI
    if expr.is_Add:
        args = [sympy_to_grim(x, **kwargs) for x in expr.args]
        return Add(*args)
    if expr.is_Mul:
        args = [sympy_to_grim(x, **kwargs) for x in expr.args]
        return Mul(*args)
    if expr.is_Pow:
        args = [sympy_to_grim(x, **kwargs) for x in expr.args]
        b, e = args
        return Pow(b, e)
    raise NotImplementedError("converting %s to Grim", type(expr))