Skip to content

Commit 8e83f1e

Browse files
committed
test: dummy index renumbering tests
1 parent 583e889 commit 8e83f1e

File tree

1 file changed

+91
-0
lines changed

1 file changed

+91
-0
lines changed

check/fixes.frm

Lines changed: 91 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4243,6 +4243,97 @@ Print;
42434243
assert succeeded?
42444244
assert result("F") =~ expr("f(a) + f(a)*float_(2,3,1,340282366920938463463374607431768211456)")
42454245
*--#] Issue695_2 :
4246+
*--#[ Issue710_1 :
4247+
#-
4248+
Off statistics;
4249+
Index uu1;
4250+
CFunction fun;
4251+
Local expr = fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?);
4252+
Bracket fun,e_;
4253+
.sort
4254+
Keep Brackets;
4255+
Sum uu1;
4256+
Print;
4257+
.end
4258+
assert succeeded?
4259+
assert result("expr") =~ expr("fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?)")
4260+
*--#] Issue710_1 :
4261+
*--#[ Issue710_2 :
4262+
#-
4263+
Off statistics;
4264+
CFunction fun;
4265+
Local expr = fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?);
4266+
Bracket fun,e_;
4267+
.sort
4268+
Keep Brackets;
4269+
ReNumber;
4270+
Print;
4271+
.end
4272+
assert succeeded?
4273+
assert result("expr") =~ expr("fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?)")
4274+
*--#] Issue710_2 :
4275+
*--#[ Issue710_3 :
4276+
#-
4277+
Off statistics;
4278+
CFunction fun;
4279+
Local expr = fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?);
4280+
Bracket fun,e_;
4281+
.sort
4282+
Keep Brackets;
4283+
ReNumber,1;
4284+
Print;
4285+
.end
4286+
assert succeeded?
4287+
assert result("expr") =~ expr("fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?)")
4288+
*--#] Issue710_3 :
4289+
*--#[ Issue710_4 :
4290+
#-
4291+
Off statistics;
4292+
Index i1,i2,i3,i4;
4293+
CFunction fun;
4294+
Local expr1 = fun(i1,i2)*fun(i3,i4)*e_(i1,i2,i3,i4);
4295+
Local expr2 = fun(i2,i1)*fun(i4,i3)*e_(i1,i2,i3,i4);
4296+
Local expr3 = fun(i2,i1)*fun(i3,i4)*e_(i1,i2,i3,i4);
4297+
Bracket fun,e_;
4298+
.sort
4299+
Keep Brackets;
4300+
Sum i1,...,i4;
4301+
Print;
4302+
.end
4303+
assert succeeded?
4304+
assert result("expr1") =~ expr("fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?)")
4305+
assert result("expr2") =~ expr("fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?)")
4306+
assert result("expr3") =~ expr("- fun(N1_?,N2_?)*fun(N3_?,N4_?)*e_(N1_?,N2_?,N3_?,N4_?)")
4307+
*--#] Issue710_4 :
4308+
*--#[ Issue710_4 :
4309+
#-
4310+
Off statistics;
4311+
CFunction indhide;
4312+
Index i1,i2,i3,i4;
4313+
Vector v1,v2,v3,v4;
4314+
Local expr = v1(i1)*v2(i2)*v3(i3)*v4(i4)*indhide(e_(i1,i2,i3,i4));
4315+
Sum i1,i2,i3,i4;
4316+
Print;
4317+
.end
4318+
assert succeeded?
4319+
assert result("expr") =~ expr("indhide(e_(N1_?,N2_?,N3_?,N4_?))*v1(N1_?)*v2(N2_?)*v3(N3_?)*v4(N4_?)")
4320+
*--#] Issue710_4 :
4321+
*--#[ Issue710_5 :
4322+
#-
4323+
Off statistics;
4324+
CFunction indhide;
4325+
Index i1,i2,i3,i4;
4326+
Vector v1,v2,v3,v4;
4327+
Local expr = v1(i1)*v2(i2)*v3(i3)*v4(i4)*indhide(e_(i1,i2,i3,i4));
4328+
Bracket v1,v2,v3,v4,indhide;
4329+
.sort
4330+
Keep Brackets;
4331+
Sum i1,i2,i3,i4;
4332+
Print;
4333+
.end
4334+
assert succeeded?
4335+
assert result("expr") =~ expr("indhide(e_(N1_?,N2_?,N3_?,N4_?))*v1(N1_?)*v2(N2_?)*v3(N3_?)*v4(N4_?)")
4336+
*--#] Issue710_5 :
42464337
*--#[ PullReq535 :
42474338
* This test requires more than the specified 50K workspace.
42484339
#:maxtermsize 200

0 commit comments

Comments
 (0)