From 4e6f3cd37decb440d443cffd820d376ade0b72cd Mon Sep 17 00:00:00 2001 From: Vasil Zlatanov Date: Tue, 17 Oct 2017 18:32:56 +0100 Subject: remove redundant files --- wolfram/lat | 40 ---------------------------------------- 1 file changed, 40 deletions(-) delete mode 100644 wolfram/lat (limited to 'wolfram/lat') diff --git a/wolfram/lat b/wolfram/lat deleted file mode 100644 index 8d3cdf0..0000000 --- a/wolfram/lat +++ /dev/null @@ -1,40 +0,0 @@ - - - - - 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