Changeset 950a94 in git for Tst/Manual/letterplace_reduce.tst

Timestamp:

Apr 5, 2021, 8:53:07 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

3b920ed3c3de324ec3518b5635feb03d0ab430ba4ad5cdee02a913f5a35346f60310f09d427a9e92ec35b06cd0d64d898912171ca267d9a5c53beee3

Parents:

03514358a007bf6bb923bc7b510ec15fb877158b68efee280d28d45c36fe198205a93c29e0641ea8

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2021-04-05 20:53:07+02:00

git-committer:

GitHub <noreply@github.com>2021-04-05 20:53:07+02:00

Message:

Merge pull request #1078 from mkoeppe/DEFAULT_CHECKING_PATH_refactor_flint_check

m4/flint-check.m4: Refactor

File:

• Tst/Manual/letterplace_reduce.tst (modified) (1 diff)

Tst/Manual/letterplace_reduce.tst

@@ -11 +11 @@
 reduce(q,J);
 
+kill r; kill R;
+
+ring r = (0,q),(A,B,C),Dp;
+ring R = freeAlgebra(r,7);
+number nq = q^2 - 1/(q^2);
+poly a = nq*A + q*B*C - 1/q*C*B;
+poly b = nq*B + q*C*A - 1/q*A*C;
+poly c = nq*C + q*A*B - 1/q*B*A;
+ideal I = bracket(a,A), bracket(a,B), bracket(a,C),bracket(b,A), bracket(b,B), bracket(b,C),bracket(c,A), bracket(c,B), bracket(c,C);
+option(redSB); option(redTail);
+ideal J = twostd(I);
+reduce(a*(A*B) - (A*B)*a, J); //0
+reduce(a*(B*A) - (B*A)*a, J); // 0
+reduce(bracket(a, A*B + B*A), J); // 0
+
 tst_status(1);$