#923 (Jun 3, 2017, 11:14:07 PM)

1. Adapted QR Decomposition entry to the change of the GREATEST operator. (detail / hgweb)
2. Adapted Hermite entry to the change of GREATEST. (detail / hgweb)
3. Adapted Echelon Form entry to the change of GREATEST operator. (detail / hgweb)
4. Changed GREATEST in order to use the one from the HOL Library, adapted the Gauss-Jordan entry. (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 9 min 35 sec build duration;
• 9 min 40 sec total from scheduled to completion.