Commit e02e3d97 authored by Hynek Baran's avatar Hynek Baran

Jets.newresolve v 0.4 as of Nov 08 2018

parent 619595b3
......@@ -2,7 +2,7 @@
# R e s o l v e - the new implementation (not well tested yet)
#
printf("Jets.newresolve v 0.4 as of Nov 06 2018 (%s)\n",
printf("Jets.newresolve v 0.4 as of Nov 08 2018 (%s)\n",
StringTools[FormatTime]("%Y-%m-%d %T", timestamp=FileTools[Status](__FILE__)[5]));
# v 0.4
# * Algebraic:-PseudoDivision used (`resolve/nonlin/reduce/2/tool` := `resolve/nonlin/reduce/2/pseudodivision`:)
......@@ -848,25 +848,26 @@ end:
if kind = 'linear' then
printf(sprintf("linear resolving failed in %a", T['LV']));
if T['solvable']=true then printf(" (solvable) ") fi;
printf("\n");
print (smash(T['LC'])*T['LV'] = -smash(T['rest']));
elif kind = 'nonlinear' then
printf("nonlinear resolving failed in %a^%a", T['LV'], T['degree']);
printf("nonlinear resolving failed in %a^%a\n", T['LV'], T['degree']);
print(smash(T['expr']));
elif kind = 'remainder' then
#if type(T, record(FailParents)) then
F, G := op(T['FailParents']);
printf("computing the remainder of polynomials failed in [%a^%a]/[%a^%a], leading terms are", F:-LV, F:-degree, G:-LV, G:-degree);
printf("computing the remainder of polynomials failed in [%a^%a]/[%a^%a], leading terms are\n", F:-LV, F:-degree, G:-LV, G:-degree);
print(smash(F:-LC * F:-LV^F:-degree));
print(smash(G:-LC * G:-LV^G:-degree));
elif kind = 'pseudodivision' then
printf("pseudodivision %a", T);
printf("pseudodivision %a\n", T);
error("implementation error, pseudodivision failed");
elif kind = 'unknownless' then
printf("implementation error, unknownless expression found");
print(smash(T['expr']));
error("implementation error, unknownless expression found: %1", smash(T['expr']));
else
error "Wrong kind %1", kind;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment