From 8141b4227780faddc9672041bda60d84206b8422 Mon Sep 17 00:00:00 2001 From: Vasil Zlatanov Date: Tue, 17 Oct 2017 18:24:07 +0100 Subject: make speech project public --- wolfram/lat | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 wolfram/lat (limited to 'wolfram/lat') diff --git a/wolfram/lat b/wolfram/lat new file mode 100644 index 0000000..8d3cdf0 --- /dev/null +++ b/wolfram/lat @@ -0,0 +1,40 @@ + + + + + 1/24 (3 r (sqrt(3) r-2 x) sqrt(-3 r^2+4 r (sqrt(3) x+1)-4 x^2)-4 (3 r^2 (x-tan^(-1)((sqrt(3) r-2 x)/sqrt(-3 r^2+4 sqrt(3) r x+4 r-4 x^2)))-3 r (sqrt(3) x+2) x+2 x^3))+constant</plaintext> + </subpod> + </pod> + <assumptions count='1'> + <assumption type='Clash' + word='integral' + template='Assuming &quot;${word}&quot; is ${desc1}. Use as ${desc2} instead' + count='2'> + <value name='IntegralsWord' + desc='an integral' + input='*C.integral-_*IntegralsWord-' /> + <value name='MathematicalFunctionIdentityPropertyClass' + desc='a function property' + input='*C.integral-_*MathematicalFunctionIdentityPropertyClass-' /> + </assumption> + </assumptions> +</queryresult> \ No newline at end of file -- cgit v1.2.3-70-g09d2