Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
50 changes: 50 additions & 0 deletions check/fixes.frm
Original file line number Diff line number Diff line change
Expand Up @@ -4478,6 +4478,56 @@ assert compile_error?("Illegally formed function/tensor name")
assert compile_error?("Illegal name for set")
assert compile_error?("Illegal name for expression")
*--#] Issue782 :
*--#[ Issue790 :
#-
CFunction cfx,cfy,cfz;
Function fx,fy;
Index ix,iy,iz;
Index jx,jy,jz;
Vector vx,vy,vz;
Symbol sx,sy,sz;
Local Fcf = gcd_(cfx+cfx*cfy, cfx-cfx*cfy);
Local Fcf2 = gcd_(cfx*cfz+cfx*cfy*cfz, cfx*cfz-cfx*cfy*cfz);
Local Ff = gcd_(fx+fx*fy, fx-fx*fy);
Local Fi = gcd_(ix+ix*iy, ix-ix*iy);
Local Fi2 = gcd_(ix*iz+ix*iy*iz, ix*iz-ix*iy*iz);
Local Fv = gcd_(vx+vx*vy, vx-vx*vy);
Local Fv2 = gcd_(vx*vz+vx*vy*vz, vx*vz-vx*vy*vz);
Local Fvi = gcd_(vx(ix)+vx(ix)*vy(iy), vx(ix)-vx(ix)*vy(iy));
Local Fvi2 = gcd_(vx(ix)*vz(iz)+vx(ix)*vy(iy)*vz(iz), vx(ix)*vz(iz)-vx(ix)*vy(iy)*vz(iz));
Local Fdp = gcd_(vx.vx+vx.vx*vy.vy, vx.vx-vx.vx*vy.vy);
Local Fdp2 = gcd_(vx.vx*vz.vz+vx.vx*vy.vy*vz.vz, vx.vx*vz.vz-vx.vx*vy.vy*vz.vz);
Local Fdp3 = gcd_(vx.vx^3*vz.vz^3+vx.vx^2*vy.vy*vz.vz^2, vx.vx^3*vz.vz^3-vx.vx^2*vy.vy*vz.vz^2);
Local Fs = gcd_(sx+sx*sy, sx-sx*sy);
Local Fs2 = gcd_(sx*sz+sx*sy*sz, sx*sz-sx*sy*sz);
* For now, this fails in PutExtraSymbols, though TakeContent works
*Local Fdel = gcd_(d_(ix,jx)+d_(ix,jx)*d_(iy,jy), d_(ix,jx)-d_(ix,jx)*d_(iy,jy));
Print;
.end
assert succeeded?
assert result("Fcf") =~ expr("cfx")
assert result("Fcf2") =~ expr("cfx*cfz")
assert result("Ff") =~ expr("fx")
assert result("Fi") =~ expr("ix")
assert result("Fi2") =~ expr("ix*iz")
assert result("Fv") =~ expr("vx")
assert result("Fv2") =~ expr("vx*vz")
assert result("Fvi") =~ expr("vx(ix)")
assert result("Fvi2") =~ expr("vx(ix)*vz(iz)")
assert result("Fdp") =~ expr("vx.vx")
assert result("Fdp2") =~ expr("vx.vx*vz.vz")
assert result("Fdp3") =~ expr("vx.vx^2*vz.vz^2")
assert result("Fs") =~ expr("sx")
assert result("Fs2") =~ expr("sx*sz")
*--#] Issue790 :
*--#[ Issue790b :
#-
Function fx,fy,fz;
Local Ff = gcd_(fx*fz+fx*fy, fx*fz-fx*fy);
Print;
.end
assert runtime_error?("GCD or factorization of more than one noncommuting object not allowed")
*--#] Issue790b :
*--#[ Issue796 :
* Regression: the fix for 796 deadlocks here:
Symbol x;
Expand Down
Loading
Loading