Processing a set of ANLDE systems

The Web-SynDic system allows a user to process a set of ANLDE systems. The set of ANLDE systems should be given manually by a user or generated automatically by a selected generator. Recently, only homogeneous ANLDE systems are supported by Web-SynDic.

Process a Set of ANLDE systems form is shown in Figure 13.

**Figure 13:** Process a Set of ANLDE Systems
$\begin{figure}\centering \epsfig{file=screenshots/process-ANLDE-set-main.eps, width=0.77\textwidth}\end{figure}$

CPU time limit is used as a common restriction for the whole solving process while processing ANLDE system set. If the solver is unable to solve any ANLDE system in the set then the solving process is stopped and descriptive error message is displayed to the user.

Loading and solving ANLDE system set

The Web-SynDic system supports solving a set of ANLDE systems previously loaded from a file. The form for loading and solving ANLDE systems is shown in Figure 13.

The loading and solving process consists of the following steps:

Set solver parameters using Algorithms configuration form (see section 3.2). You may also use default values.
Use the button Browse... to select the file containing the set of ANLDE systems. The ANLDE system set should be in ANLDE system set format (see section 3.1). If ANLDE system set is invalid or text area is empty then the Web-SynDic system prints error message (see Figure 14).

Figure 14: Syntax error message
$\begin{figure}\centering \epsfig{file=screenshots/process-ANLDE-set-incorrect.eps, width=0.77\textwidth}\end{figure}$
Select alternative solver (if needed) and push button Solve a set. All solving queries are put into the Solver Spooler queue. The Web-SynDic displays the number of tasks in the Solver Spooler queue (see section 3.5.2). During solving time the Web-Syndic system shows the processing form (see Figure 6).

**Figure 14:** Syntax error message
$\begin{figure}\centering \epsfig{file=screenshots/process-ANLDE-set-incorrect.eps, width=0.77\textwidth}\end{figure}$

After processing the Web-SynDic system displays Solution Report (see Figure 15).

**Figure 15:** Solution report for the set of ANLDE systems
$\begin{figure}\centering \epsfig{file=screenshots/process-ANLDE-set-load-report.eps, width=0.77\textwidth}\end{figure}$

The Solution report contains the following information:

Number of ANLDE systems in the set.
The characteristics of ANLDE system set:

--

minimum equations;

--

average equations;

--

maximum equations;

--

minimum unknowns;

--

average unknowns;

--

maximum unknowns;

--

maximum coefficients;

--

minimum number of solutions;

--

average number of solutions;

--

maximum number of solutions.

The solution characteristics are obtained from the default solver. Therefore if the default solver fails then the characteristics are set to ``N/A''.
Waiting time in Solver Spooler buffer. If buffer is empty then Solver Spooler executes new task immediately and waiting time equals to zero.
Performance metrics of the algorithms:

--

algorithm name;

--

summary CPU work time in seconds;

--

summary real work time in seconds;

--

maximum process virtual size in kilobytes;

--

solving result.

At the present the time unit for CPU work time is 0.001 second. If Solver uses CPU work time which is less than 0.001 second then `` 0.001'' is printed in the report page.
If the value is not available (for example Maximum process virtual size is not available when algorithm executes too fast) then ``N/A'' is displayed in the corresponding field.
The field Solving result contains "solved" if the system is solved successfully. Otherwise error message is displayed.
Solving machine characteristics like processor, core memory, operating system, Java version, Tomcat version, and Solver process nice value, if they are available.
Note on solution. You can simply press Agree with the result button or send more detailed message (see section 3.8).

The list of possible solver errors is presented in section 3.3.2.

Generating and solving ANLDE system set

The Web-SynDic system allows a user to generate and solve a set of ANLDE systems at once. The form for generating and solving a set of ANLDE systems is shown in Figure 16.

**Figure 16:** Generation form for set of ANLDE systems
$\begin{figure}\centering \epsfig{file=screenshots/process-ANLDE-set-generate.eps, width=0.77\textwidth}\end{figure}$

The generating and solving process consists of the following steps:

Set generator parameters using Algorithms configuration form (see section 3.2) or in the bottom of the current Generate a New Set form (see Figure 16). You may also use default values.
Choose desired generator and press Solve a set button. All generation queries are put into the Generator Spooler queue. The Web-SynDic displays the number of tasks in the Generator Spooler queue (see section 3.5.2). During generation time the Web-Syndic system shows the processing form (see Figure 6).
After successful generation produced ANLDE system set is put into the Solver Spooler queue. The Web-SynDic displays the number of tasks in the Solver Spooler queue (see section 3.5.2). During solving time the Web-Syndic system shows the processing form (see Figure 6).
If Solver Spooler queue is full then the Web-SynDic system prints error message "Unable to process your request: Buffer is full. Task rejected.". You may try to reload this page later, and the generated system set will be put into solver spooler queue if it has available space.

After processing the Web-SynDic system displays Solution Report (see Figure 15). The Solution report contains the information, described in section 3.4.1, and additional field Wait time: Generator spooler buffer, which contains waiting time in Generator Spooler buffer.

The list of possible generator and solver errors is presented in sections 3.3.1, and 3.3.2.

Generating and saving ANLDE system set

The Web-SynDic system allows a user to generate and save a set of ANLDE systems. The form for generating and saving a set of ANLDE systems is shown in Figure 16.

The generating and saving process consists of the following steps:

Set generator parameters using Algorithms configuration form (see section 3.2) or in the bottom of the current Generate a New Set form (see Figure 16). You may also use default values.
Choose desired generator and press Save a set button. All generation queries are put into the Generator Spooler queue. The Web-SynDic displays the number of tasks in the Generator Spooler queue (see section 3.5.2). During generation time the Web-Syndic system shows the processing form (see Figure 6).
After processing the Web-SynDic system opens new browser window containing the ANLDE system set (see Figure 17).

Figure 17: Save a set of ANLDE systems
$\begin{figure}\centering \epsfig{file=screenshots/process-ANLDE-set-save.eps, width=0.77\textwidth}\end{figure}$
Using standard browser functions you can save the system in a file. The Web-SynDic system uses pop-up windows for saving ANLDE system set. Your browser should support pop-up windows.

**Figure 17:** Save a set of ANLDE systems
$\begin{figure}\centering \epsfig{file=screenshots/process-ANLDE-set-save.eps, width=0.77\textwidth}\end{figure}$

Kirill Kulakov 2005-12-04