Javadoc update

127ce936 · ronan · 83c39ce8 · 127ce936 · 127ce936 · 127ce936
Commit 127ce936 authored May 29, 2016 by ronan
--- a/javadocs/allclasses-frame.html
+++ b/javadocs/allclasses-frame.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>All Classes</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

--- a/javadocs/allclasses-noframe.html
+++ b/javadocs/allclasses-noframe.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>All Classes</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

--- a/javadocs/constant-values.html
+++ b/javadocs/constant-values.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>Constant Field Values</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

--- a/javadocs/deprecated-list.html
+++ b/javadocs/deprecated-list.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>Deprecated List</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

--- a/javadocs/help-doc.html
+++ b/javadocs/help-doc.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>API Help</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

--- a/javadocs/index-files/index-1.html
+++ b/javadocs/index-files/index-1.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>A-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-10.html
+++ b/javadocs/index-files/index-10.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>N-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-11.html
+++ b/javadocs/index-files/index-11.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>O-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-12.html
+++ b/javadocs/index-files/index-12.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>P-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-13.html
+++ b/javadocs/index-files/index-13.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>R-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-14.html
+++ b/javadocs/index-files/index-14.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>S-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-15.html
+++ b/javadocs/index-files/index-15.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>T-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-16.html
+++ b/javadocs/index-files/index-16.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>U-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>
@@ -74,7 +74,9 @@
 <h2 class="title">U</h2>
 <dl>
 <dt><span class="memberNameLink"><a href="../org/cora/maths/Form.html#updateCenter--">updateCenter()</a></span> - Method in class org.cora.maths.<a href="../org/cora/maths/Form.html" title="class in org.cora.maths">Form</a></dt>
-<dd>&nbsp;</dd>
+<dd>
+<div class="block">Compute the center of this form</div>
+</dd>
 <dt><span class="memberNameLink"><a href="../org/cora/maths/Form.html#updateOrientation--">updateOrientation()</a></span> - Method in class org.cora.maths.<a href="../org/cora/maths/Form.html" title="class in org.cora.maths">Form</a></dt>
 <dd>&nbsp;</dd>
 <dt><a href="../org/cora/maths/Utils.html" title="class in org.cora.maths"><span class="typeNameLink">Utils</span></a> - Class in <a href="../org/cora/maths/package-summary.html">org.cora.maths</a></dt>

--- a/javadocs/index-files/index-17.html
+++ b/javadocs/index-files/index-17.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>V-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-18.html
+++ b/javadocs/index-files/index-18.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>X-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-19.html
+++ b/javadocs/index-files/index-19.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>Y-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-2.html
+++ b/javadocs/index-files/index-2.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>C-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-20.html
+++ b/javadocs/index-files/index-20.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:21 CEST 2016 -->
 <title>Z-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>

--- a/javadocs/index-files/index-3.html
+++ b/javadocs/index-files/index-3.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>E-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>
@@ -79,10 +79,6 @@
 <dd>&nbsp;</dd>
 <dt><span class="memberNameLink"><a href="../org/cora/maths/PointType.html#END">END</a></span> - Static variable in class org.cora.maths.<a href="../org/cora/maths/PointType.html" title="class in org.cora.maths">PointType</a></dt>
 <dd>&nbsp;</dd>
-<dt><span class="memberNameLink"><a href="../org/cora/maths/Form.html#endForm--">endForm()</a></span> - Method in class org.cora.maths.<a href="../org/cora/maths/Form.html" title="class in org.cora.maths">Form</a></dt>
-<dd>
-<div class="block">At the end of the creation of a form, you can call this function to update information</div>
-</dd>
 </dl>
 <a href="index-1.html">A</a>&nbsp;<a href="index-2.html">C</a>&nbsp;<a href="index-3.html">E</a>&nbsp;<a href="index-4.html">F</a>&nbsp;<a href="index-5.html">G</a>&nbsp;<a href="index-6.html">H</a>&nbsp;<a href="index-7.html">I</a>&nbsp;<a href="index-8.html">L</a>&nbsp;<a href="index-9.html">M</a>&nbsp;<a href="index-10.html">N</a>&nbsp;<a href="index-11.html">O</a>&nbsp;<a href="index-12.html">P</a>&nbsp;<a href="index-13.html">R</a>&nbsp;<a href="index-14.html">S</a>&nbsp;<a href="index-15.html">T</a>&nbsp;<a href="index-16.html">U</a>&nbsp;<a href="index-17.html">V</a>&nbsp;<a href="index-18.html">X</a>&nbsp;<a href="index-19.html">Y</a>&nbsp;<a href="index-20.html">Z</a>&nbsp;</div>
 <!-- ======= START OF BOTTOM NAVBAR ====== -->

--- a/javadocs/index-files/index-4.html
+++ b/javadocs/index-files/index-4.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_91) on Fri May 27 18:22:40 CEST 2016 -->
+<!-- Generated by javadoc (1.8.0_91) on Sun May 29 17:38:20 CEST 2016 -->
 <title>F-Index</title>
-<meta name="date" content="2016-05-27">
+<meta name="date" content="2016-05-29">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>