noether.lib online documentation not showing examples in the library

[ren]

Victor just told me that the examples in noether.lib are not properly shown in the online documentation, for example the following website:

https://www.singular.uni-kl.de/Manual/latest/sing_1324.htm#SEC1400

should have the following example in the library:

example
{ "EXAMPLE:"; echo = 2;
ring r=0,(X,Y,a,b),dp;
poly f=X^8+a*Y^4-Y;
poly g=Y^8+b*X^4-X;
poly h=diff(f,X)*diff(g,Y)-diff(f,Y)*diff(g,X);
ideal i=f,g,h;
NPos_test(i);
}

Uploading the library to the formal checker and the documentation builder seems fine though:

https://www.singular.uni-kl.de/index.php/new-libraries/formal-library-checker.html https://www.singular.uni-kl.de/index.php/new-libraries/documentation-generator.html

[hannes]

is already fixed, see https://www.singular.uni-kl.de/hannes/sing_1325.htm