Thanks everybody for your help

@Joe Riel 

thank you. The other issue depends on the assertlevel. On assertlevel 2 there is an error:

Error, (in maplemint/recurse) too many levels of recursion

On assertlevel 0 there is

Mintcheck henselSquareStep:
    These parameters have the same name as constants:
      1, 3
    These local variables were used before they were assigned a value:
      r::And(polynom(integer),expanded),
      rStar::And(polynom(integer),expanded)

Mintcheck henselLinearStep:
    These parameters have the same name as constants:
      1, 3
    These local variables were used before they were assigned a value:
      r2::And(polynom(integer),expanded),
      rStar2::And(polynom(integer),expanded)

My (experimental) Code is here:
MultiFactorHenselLifting.mw

I think, I made a mistakes by assigning the values at Gcdex and Quo statements.

@Joe Riel 
From https://github.com/JoeRiel/maplev

I'll try your hints... Thank you

@Joe Riel 

Hi,
Maple installation works now. Now I'm trying customizing. Screenshot.pdf

I customized maplev executable alist, seen in screenshot, and applied and saved it.

Next problems are:

* The documentation file maplev.info is not included in the masterfile
* There is no Syntax highlightening and no compiling (C-c C-c b doesn't work) possible

@Joe Riel 

First I created the .emacs file in (I thought) my home directory C:\Users\Stefan, that doesn't work.After that, I moved this file to C:\Users\Stefan\Appdata\Roaming (Emacs says, this is my homedirectory) and restarted emacs and now the lisp files compiled.

The next step Maple files fails too:
"Install the Maple archive file maplev.mla into ~/maple/toolbox/emacs/lib. "

Does tilde means the home-directory from Maple (where maple.ini is located, C:\Users\Stefan ) or that what emacs thinks C:\Users\Stefan\Appdata\Roaming?
If I open maplev.mla in Maple and install the file, libname is modified only during the session. When I restarts Maple, the libname is the old one.
Should I modify the maple.ini too and add maplev.mla?

 

@YasH I don't know. I'm using maple 18 on windows 10.

Should I use Maple inside a virtual machine using a linux system?

@Joe Riel 

Thanks a lot!

@Joe Riel 

It's difficult to explain, i think I want some something like a class in C++.

I want to create an object called Factorization that can do big calculations with many members and stores all data inside this structure, variables, options and profiled results of some member-functions, etc.

When I create an instance of the object from outside like
    myFactorTest1 := Factorization( x^1231341 - 1, [options]);
the factorization-algorithm should start and save the result, variables and profile- data inside the instance.

Then I can save the instance in a mla so I can get all information of theses calculations whenever I want.

That's my goal

@Joe Riel 

Thanks for this comment, that's what I#m looking for

@Carl Love 

Ok, both were yes, so it's probably intentional randomization.

I have to write a Master-Thesis about factoring algorithms from Zassenhaus over LLL to van Hoeij, with implementation and tests in maple. The book Modern Computer Algebra is a very important source.

I followed the discussion below to the similar problem of YasH, but I don't use tables or Arrays in my two worksheets. I only use sets and lists and have this problem.

I try to upload these files, I hope it works and you can read it.

The procedure factors a primitive, squarefree polynomial in ZZ[x] with a positive leading coefficient, using Maple's modular Factoriziation and an easy factor combination.

The first one is the problem-procedure, you see it was called two times in the same way with a different behavior.
The second one is an auxiliary procedures called by the main algorithm.

BigPrimeVersion.mw

BoostChoose.mw

@Carl Love 

Thanks, your solution is better than mine.

"condition0 "     is      "not continue"    ?

@Joe Riel 

Ok, i tried your first idea, but I need an additional while-loop:

      escape := true;
      while escape = true do
           escape := false;      # use a flag to avoid goto         
           # Step 8:
           while condition do
               for s in S do
                   #  do anything
                   if condition2 then   
                         #  do anything
                         if condition3 then
                                #  do anything, condition changed!!!
                                escape := true;  # goto Step 8 and restart
                         end if;
                   end if;
                   if escape = true then break end if;
               end do;    
               if escape = true then break end if;
          end do;
    end do; 

Thank you for your answer.

That's a prpblem. I have many goto's in my procedures (in literary only described with goto) with deep nested loops, for example

      Step_8:
      while condition do
          for s in S do
              #  do anything
              if condition2 then   
                 #  do anything
                 if condition3 then
                       #  do anything
                       goto(Step_8);   # break all loops and restart with new parameters
                 end if;
              end if;  
          end do;    
      end do;

How can I do this efficient, readable and without a goto statement?