This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
<title>Docling JSON Viewer</title> | |
<style> | |
.page-container { | |
position: relative; | |
display: inline-block; | |
font-size: xx-small; | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Replace with date and time the code was generated: | |
from generated_tempdir_2019_09_13_232810.generated_part000000 import match_root | |
from sympy import * | |
x = symbols("x") | |
def check_constraints(subst, constraints): | |
for cons in constraints: | |
ret = cons(**{k: v for k, v in subst.items() if k in cons.__code__.co_varnames}) | |
if not ret: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file is a working draft... | |
from datetime import datetime | |
import sys | |
from sympy.integrals.rubi.rubimain import get_rubi_object | |
sys.setrecursionlimit(15000) | |
import re |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from symengine import * | |
X = Matrix(var("X1:10")).reshape(3, 3) | |
A = Matrix(var("A1:10")).reshape(3, 3) | |
B = Matrix(var("B1:10")).reshape(3, 3) | |
C = Matrix(var("C1:10")).reshape(3, 3) | |
D = Matrix(var("D1:10")).reshape(3, 3) | |
a = Matrix(var("a1:4")).reshape(3, 1) | |
b = Matrix(var("b1:4")).reshape(3, 1) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import sys | |
import multiprocessing | |
import collections | |
import inspect | |
def f(x): | |
print("f function entered.") | |
a = x + 10 | |
print("Value of a: ", a) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from sympy import * | |
init_printing() | |
from sympy.diffgeom import * | |
r, x, y, z = symbols('r x y z', positive=True) | |
theta, phi = symbols('theta phi') | |
N = 3 | |
M = Manifold('M', N) | |
P = Patch('P', M) | |
rect = CoordSystem('rect', P, ['x', 'y', 'z']) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import re | |
replacements = dict( | |
Times="Mul", | |
Plus="Add", | |
Power="Pow", | |
) | |
def parse_full_form(wmexpr): | |
out = [] |