# -------------------------
# Testwerte fuer Aufgabe 20
# -------------------------
# 
# B I T T E  E R S T  L E S E N
#
# Diese Testdatei enthaelt Polynomtripel mit deg g=deg h= 10,20,30,40,50
# Alle diese Tripel erfuellen die Bedingungen des Aufgabenzettels (Aufg. 20)
# Bitte wie folgt vorgehen:
# 1) Zu p1, p2, p3 jeweils g.i:=g mod p.i, h.i:= h mod p.i berechnen
#    fuer alle drei Werte p1, p2, p3
# 2) g.i und h.i liften zu einer Faktorisierung von f mod p.i^l.j
#    fuer alle Werte von l1,l2,l3,l4,l5,l6,l7,l8
# 3) insgesamt ergeben sich so pro Hensel-Variante 5*3*8 Hensel-Liftings
# Bitte dran denken: 
# * eine Auswertung beinhaltet eine Aufbereitung der Daten - 
#   eine Tabelle, die nur die Ergebnispolynome enthaelt, reicht nicht;
#   hier bietet sich eine graphische Aufbereitung an
# * es geht um Zeitvergleiche: Zeitmessungen bitte fuer jede der 5*3*8
#   Varianten einzeln vornehmen
# * Wer erstellt eine Musterloesung zu Aufgabe 20?
#
# -------------------------
# U N D  H I E R  D I E  T E S T W E R T E:
# -------------------------
#
# -------------------------
# P R I M Z A H L E N p1,p2,p3
# -------------------------
p1:=3;
p2:=11;
p3:=97;
# -------------------------
# G R E N Z E  D E S  L I F T E N S l
# -------------------------
l1:=2;
l2:=4;
l3:=8;
l4:=16;
l5:=32;
l6:=64;
l7:=128;
l8:=256;
# -------------------------
# P O L Y N O M T R I P E L f,g,h 
# es gilt f=g*h
# ggt(g,h)=1 mod p1, p2, p3
# -------------------------
f:=x^20-39*x^19-5611*x^18-7374*x^17-2071*x^16+4264*x^15-596*x^14+11191*x^13+8633*x^12+6006*x^11+11476*x^10-5713*x^9-18344*x^8+7025*x^7-1621*x^6-8110*x^5+2817*x^4+7755*x^3+2268*x^2-383*x+330;
 g:=x^10+58*x^9+53*x^8-11*x^7-60*x^6+65*x^5-77*x^4-83*x^3-45*x^2+8*x-5;
 h:=x^10-97*x^9-38*x^8-18*x^7-20*x^6+75*x^5+18*x^4-44*x^3+94*x^2-29*x-66;
#---------------------------------------#
f:=x^40-x^39-1302*x^38+5964*x^37-4214*x^36-6461*x^35-9041*x^34+19380*x^33+9765*x^32+4320*x^31-3453*x^30-18069*x^29-24654*x^28+2996*x^27+41305*x^26+9454*x^25-23559*x^24-22890*x^23-9874*x^22+8374*x^21+23037*x^20+39405*x^19+13374*x^18-31414*x^17-32988*x^16-8137*x^15-8229*x^14-4040*x^13+25377*x^12+15352*x^11-14868*x^10-5506*x^9+3332*x^8-1414*x^7+435*x^6-3514*x^5-11012*x^4-16370*x^3-9800*x^2-5547*x-2914;
 g:=x^20+36*x^19-68*x^18-75*x^17-79*x^16+87*x^15+62*x^14+74*x^13+86*x^12-42*x^11-72*x^10-40*x^9+67*x^8+28*x^7-27*x^6+37*x^5+77*x^4+42*x^3-51*x^2+91*x+94;
 h:=x^20-37*x^19+98*x^18-5*x^17-66*x^16-85*x^15+55*x^14-31*x^13+43*x^12+98*x^11-90*x^10-98*x^9+53*x^8+76*x^7+60*x^6+38*x^5-46*x^4-86*x^3-93*x^2-29*x-31;
#---------------------------------------#
f:=x^60+8*x^59-2077*x^58+1752*x^57-2950*x^56-378*x^55-10604*x^54+5840*x^53-649*x^52-773*x^51+447*x^50+2179*x^49+8967*x^48+9692*x^47+18514*x^46-8679*x^45+8347*x^44+11064*x^43+10769*x^42-7071*x^41+7743*x^40-1759*x^39-16223*x^38-5505*x^37-15444*x^36-19299*x^35-2998*x^34-6603*x^33-18317*x^32-10947*x^31+11463*x^30-2497*x^29-28623*x^28+13203*x^27-12236*x^26+10065*x^25+8960*x^24-22097*x^23-11390*x^22-4801*x^21-11077*x^20+5055*x^19+8265*x^18-8387*x^17+15442*x^16-2236*x^15-12816*x^14+5702*x^13-1974*x^12-7854*x^11+9499*x^10+2965*x^9+5666*x^8+455*x^7-6556*x^6-8865*x^5+1898*x^4+9190*x^3+9395*x^2+1538*x-2240;
 g:=x^30-41*x^29-12*x^28-22*x^27+65*x^26-61*x^25+42*x^24+16*x^23+86*x^22+47*x^21+51*x^20-19*x^19-55*x^18+43*x^17-82*x^16+29*x^15-3*x^14+32*x^13-68*x^12+23*x^11-58*x^10-72*x^9+x^8-48*x^7+4*x^6+55*x^5-82*x^4+20*x^3-76*x^2-59*x+32;
 h:=x^30+49*x^29-56*x^28+66*x^27+97*x^26+35*x^25+34*x^24+8*x^23+60*x^22+36*x^21+76*x^20+55*x^19-76*x^18+x^17+94*x^16-97*x^15-71*x^14+57*x^13-16*x^12-56*x^11+33*x^10-10*x^9+31*x^8+56*x^7-51*x^6-9*x^5+59*x^4+98*x^3-22*x^2-81*x-70;
#---------------------------------------#
f:=x^80-118*x^79+3441*x^78-9720*x^77+646*x^76+11747*x^75-14855*x^74-7164*x^73+17169*x^72-5640*x^71-1296*x^70-891*x^69-13141*x^68+10013*x^67+4089*x^66-23437*x^65-2720*x^64+13589*x^63+854*x^62-3460*x^61+23328*x^60+5968*x^59-16761*x^58+15856*x^57-5094*x^56-14194*x^55+11857*x^54-41348*x^53-13688*x^52+27587*x^51+11035*x^50-10197*x^49-19480*x^48-27794*x^47-13382*x^46+14491*x^45-19425*x^44-12247*x^43+49127*x^42+33103*x^41-31937*x^40-20617*x^39+270*x^38-10586*x^37+33489*x^36-21662*x^35+12189*x^34+22503*x^33-26391*x^32-28858*x^31-30167*x^30+13301*x^29+32446*x^28-1251*x^27+5142*x^26-28592*x^25+3481*x^24-8271*x^23-20907*x^22+6505*x^21+11676*x^20+35336*x^19-5522*x^18-15923*x^17-9079*x^16+3364*x^15+1583*x^14+4391*x^13+1713*x^12+12739*x^11-2437*x^10-746*x^9-2559*x^8-2010*x^7+202*x^6+7362*x^5-3564*x^4-2370*x^3-978*x^2-152*x-12;
 g:=x^40-73*x^39+57*x^38+14*x^37-97*x^36+15*x^35+62*x^34-37*x^33-42*x^32-71*x^31-7*x^30+x^29+7*x^28-95*x^27-92*x^26+77*x^25+45*x^24+41*x^23+49*x^22+2*x^21-70*x^20+36*x^19-93*x^18-60*x^17+95*x^16-33*x^15+45*x^14-72*x^13+35*x^12-45*x^11-82*x^10-60*x^9-3*x^8+66*x^7+47*x^6-60*x^5+72*x^4-92*x^3+72*x^2+18*x+2;
 h:=x^40-45*x^39+99*x^38+58*x^37-36*x^36+47*x^35+32*x^34-35*x^33+9*x^32-89*x^31-69*x^30+47*x^29-41*x^28+28*x^27+96*x^26-57*x^25-82*x^24-56*x^23+96*x^22+24*x^21+86*x^20+10*x^19+19*x^18+92*x^17-61*x^16-21*x^15+26*x^14+88*x^13+89*x^12-3*x^11-70*x^10-35*x^9+9*x^8+57*x^7-25*x^6+15*x^5+68*x^4+6*x^3-75*x^2-22*x-6;
#---------------------------------------#
f:=x^100-7*x^99-6539*x^98+6249*x^97+1405*x^96-13242*x^95+10100*x^94+77*x^93-15377*x^92+229*x^91+11596*x^90-10218*x^89-808*x^88+380*x^87+3150*x^86-831*x^85-2178*x^84+12215*x^83-15352*x^82+7163*x^81+20016*x^80-16908*x^79+8480*x^78+23919*x^77-21566*x^76-29152*x^75-91*x^74+6001*x^73-20565*x^72+5154*x^71+5854*x^70+1081*x^69-11818*x^68-28426*x^67-9993*x^66+68*x^65+8108*x^64+7877*x^63+19905*x^62+37108*x^61-3024*x^60-9200*x^59+7779*x^58-17080*x^57-630*x^56-4636*x^55+4425*x^54+18014*x^53+6351*x^52-43350*x^51-35606*x^50+8369*x^49-38416*x^48-20385*x^47+9701*x^46+16536*x^45-5897*x^44-19928*x^43+18559*x^42-1016*x^41+19860*x^40+28624*x^39+8726*x^38+12349*x^37+2519*x^36-25425*x^35-23648*x^34+12031*x^33+9912*x^32+3677*x^31-1529*x^30-5959*x^29-38374*x^28-11944*x^27-17251*x^26-9205*x^25+14832*x^24-5293*x^23+5724*x^22-1451*x^21+13397*x^20-17605*x^19+6243*x^18+15151*x^17-5853*x^16+8035*x^15-9683*x^14-8720*x^13+1360*x^12+9776*x^11-6638*x^10+2097*x^9+4105*x^8-4058*x^7+2112*x^6-2428*x^5-4834*x^4-1350*x^3+4102*x^2+1074*x-713;
 g:=x^50+77*x^49-72*x^48+50*x^47+39*x^46-45*x^45+24*x^44+40*x^43+38*x^42-77*x^41-18*x^40+14*x^39-29*x^38-40*x^37+4*x^36-20*x^35+9*x^34+75*x^33+37*x^32-10*x^31+86*x^30-97*x^29-86*x^28-12*x^27+77*x^26+73*x^25+82*x^24+91*x^23-18*x^22-48*x^21-73*x^20+21*x^19-26*x^18-4*x^17-74*x^16-20*x^15-38*x^14-28*x^13+27*x^12+80*x^11+85*x^10-38*x^9+79*x^8-53*x^7+28*x^6+40*x^5-43*x^4+20*x^3+54*x^2+48*x-23;
 h:=x^50-84*x^49+x^48+74*x^47-60*x^46-23*x^45+8*x^44-60*x^43-63*x^42+10*x^41-65*x^40+48*x^39+2*x^38+3*x^37+34*x^36+14*x^35+51*x^34-68*x^33-71*x^32+98*x^31+81*x^30-4*x^29-20*x^28+12*x^27-27*x^26-94*x^25-71*x^24-90*x^23-14*x^22-6*x^21-45*x^20+70*x^19-69*x^18-97*x^17+9*x^16+37*x^15+38*x^14-31*x^13+47*x^12-38*x^11+57*x^10+33*x^9-57*x^8+39*x^7+22*x^6-10*x^5-21*x^4-14*x^3-68*x^2+18*x+31;
#---------------------------------------#