Formulas for Coefficients of Hundred Cyclotomics and Numbers Battle ()
1. History
Since Viete [1] (1540-1603) developed the literal calculus, represented the unknowns by vowels and the parameters by consonants and introduced the notation of the sum, the product, the quotient, and the power. And since “B in A quadratum, plus D in A, aequari C” is replaced, in the works of Descartes by
, everything is then in place for the general study of polynomials to develop. Greek mathematics was essentially arithmetical and geometric. among the Arabs, mathematics is progressively detached from the geometric constraint. It’s the birth of the algebra traditionally attributed to Al Khawarizmi in his work Abstract of computation by restoration and comparison. Carl Friedrich Gauss uses in his writings, published in 1801, the cyclotomic polynomials [2] . The polynomial cyclotomic index 4 allows the construction of a new set of algebraic numbers, that of integers of Gauss. A mathematical branch is born: the algebraic theory of numbers, it simplifies the resolution of Diophantine equations and allows to solve new ones. This approach is innovative and fore shadows modern algebra.
2. Introduction
Note that formula numbers will be in parentheses (x), while bibliographic references will be enclosed in square brackets [y].
.Ah! This cyclotomic world and this “cyclotomic” word that one does not even find in a normal dictionary (You need an encyclopedia) and which recalls cycling and filming, but which also inspires this apparatus which emits light rays of which the rays are reduced and enlarged and stun the voyeur, the observer and the contemplator. Thus is this theory of cyclotomic polynomials with its descents and ascents, in their degrees, their coefficients, their numbers, their real and complex values, their roots, etc.
Yes finally formulas for cyclotomics and their coefficients, as indicated by the title. Formulas that we will try to demonstrate and verify by examples and scripts with maple 12 in principle for the first hundred, except indication and precision for a higher index.
The main objective of this article is to establish the formula of the theorem 3.9, the theorem 3.13 and its corollary 3.15.
Like parraph 6 which will make it possible to determine all the cyclotomics thanks to those of prime indices whose expression is known (formula (6)). The goal is also to find practical and easy formulas applicable to the hand and without data processing, for the cyclotomics and their coefficients, until nowadays nonexistent. All we know today is that the first distinct coefficient of −1, 0 and 1 is at the degree i = 7 and degree j = 41 of cyclotomic index n = 105. [2] . In short, what we want is: A formula for calculating the coefficients. An easy method to designate cyclotomic polynomials. Develop the cyclotomic theory, spread it and make it more touchable, more ready and more popular among mathematicians.
The article, its presentation and the demonstrations of the results are not always classical, they are sometimes done by checking with Maple scripts, especially that these results concern in general only the first hundred cyclotomics, but which will be able to inspire generalization in the future. It is the case in this article for the proposition 3.3 and the theorem 3.13 that we have extended up to 1000 only (but the formula is still true) because the script would require a big delay and could block execution if it is extended more. we know that today there are no formulas for these coefficients, not even for a finite number of them. This article is unpublished, new and never published.
We will adopt in the text and with maple 12, the notation
for the indicator of Euler phi and
to designate the cyclotomic polynomial of index n of indefinite x by default, otherwise we will specify another indeterminate y we want to assign to x by
, (y can be
,
,
or any other power of x). We will denote by
the coefficient of
in
, All this after having downloaded the “numtheory” package.
Thus we will have for example:
,
,
because when x is replaced by 2 in
, it gives 3.
And then we have the following properties:
Property 2.1. If n is even:
. (1)
Property 2.2. If n is odd:
. (2)
In polynomial theory, the nth cyclotomic polynomial is the unit polynomial whose roots are the primitive roots nth of the unit. It is of degree
[3] (See Serge Lang [3] ), indicator function of Euler
that we will define, It is with integer coefficients and is irreducible on
. For any integer m, the polynomial
is the product of the cyclotomic polynomials associated with the divisors of m (see [4] ). A root nth of 1 is primitive if it generates the group (multiplicative)
, roots nth of 1. Now a root nth of 1 is of the form
, image k by group isomorphism ( [4] ):
, which at k associates
. So a root nth,
will generate
(that is, its powers will cover
) if and only if k generates the additive group
(that is, its multiples will encompass
), which equals k first with n [5] (see [5] ).
The number of non-zero k integers strictly less than k is
, which is why the degree of
, the nth cyclotomic polynomial in x is
, this Euler’s indicator, whose properties will be studied, which will involve others on cyclotomic polynomials. With maple, and to simplify the notations, we will define the function cy which at an integer n will associate the nth cyclotomic noted in maple by
.
We thus have
(3)
where
denotes the
.
The analysis of these polynomials allows the resolution of many problems. As an example of cyclotomic polynomials:
,
and
Definition 2.3. The function
, indicator of Euler is the one which to an integer n associates the number of primes with n strictly lower than n.
Remark 2.4. This is also the number of generators of
, the multiplicative group of nth roots of 1.
Definition 2.5. The cyclotomic polynomial of index n is the polynomial whose roots are the generators of Gn.
Property 2.6.
. (4)
That is, we have a symmetry of the coefficients of
with respect to that of
.
Definition 2.7. We call function of Mobius
, the function which at a positive integer n associates
with
if n is with square factor, that is, if it is divisible by the square of a prime number, otherwise it’s 1 if n is divisible by the even of a prime numbers; or −1 if the number of prime numbers that divide it is odd.
Recall that
denotes with maple the gcd of n and i.
We will define in the same way that cy and cyc the function
which at
will associate the coefficient of
of the cyclotomic polynomial of index n.
Finally we will also define
and
for the values
and
(because the function mob is not symmetric and these last two quantities are not always equal) and we will designate by
the value of
, values that will be used to set conditions of validity or not of certain formulas. And for the last paragraphs we will also need
which will express the largest of
and
to reduce the number of exceptions to certain formulas and some conditions for applying these formulas. With maple it will be >
.
Formulas and conditions that will be applied directly to the odd
cyclotomic indexes (
) and degrees i less than or equal to
, except for 0 since
is known (It is
) and we know that the constant coefficient of a cyclotom polynomial is 1. This will avoid us to specify (“from 0”), since without this precision, maple starts by default the variation of a parameter starting from 1, when one does not specify the first value. By against it is necessary to him to specify the last one with the help of to “
”.
We will deduce the ones for the n pairs by the formulas we will recall linking the
to the
when n is even
or when n is odd
[6] after defining the largest integer k such that
divides n. And for degrees greater than
, we will deduce the coefficients by symetry with respect to
[7] .
We can even deduce the coefficients of
if
with m odd less than 100, thanks to the relations ente
and
when n is odd or even. as well as for n when the part without square factor n is less than 100, using the formula
(5)
see [7] , where
is the non-square part of n, which is the product of prime numbers that divide n.
The total number of coefficients of the first 100 cyclotomics is 3144, with maple 12 one has to calculate:
>
which gives:
3144
If we take the 100 constant terms, there will remain 3044. If we only want to count for the odd n indices up to the degree i less than or equal to
, we must assume
even, that is to say start n to 3 (because
), assuming that
and
are known and are respectively,
and
, be
>
which gives:
1003
First note that among these 1003 coefficients, there is 517 with
and all have for all value i,
.
We have 150 coefficients, which are
, and 141 of which have
, 6 with
, and which are (45, 6), (63, 15), (75, 10), (99, 6), (99, 15) and (99, 24); 2 with the opposite, ie with
being
and not
and which are (99, 9) and (99, 18); and finally only one of the 150 that is (63, 6) and has a zero coefficient that is neither
nor
. (This is the seventh for which
).
3. Formula for the Coefficients
First, remember the following properties: [7]
1)
is always irreducible on
.
2) on
two cyclotomic polynomials are prime between them. In this article, we will try to solve the riddle of the cyclotomic coefficients, knowing that we have the following remarks and comments:
a) If n is prime then the nth cyclotomic polynomial is
. (6)
b) If p is prime and does not divide n, then
. (7)
c) If n is odd then
. (8)
d) If p is prime and does not divide m then
. (9)
e) If p is prime and divide n, then
. (10)
f) We always have:
[2] (11)
g) The coefficients of
have a symmetry around the monomial
, i.e. the coefficient is the same in
and in
To see the difference between the formulas of (2) and (5) when p is prime and divide or not divide n we have as an example for
:
with
not dividing
, then according to the formula (2),
will be
, that is
which is equal to
which is none other than
.
Whereas 3 divides 27, so
, is
as wants the formula 5.
Example 3.1.
and it’s
with 24
being the part without square factor of 288 since c is
: with maple:
>
>
For symmetry, we have for example:
Example 3.2. >
We have a symmetry around
, since
.
−2 is for example coefficient of
and of
.
Proposition 3.3. For all
, the coefficient of
in x is
. We’ll just make this proposal using a maple script for n up to 1000. For us it would have been enough to check it up to 100
> for n to 1000 if
then print (n) end if od
1
We obtain that
is only for
.
Remark 3.4. For these
, the following formula is therefore satisfied since
and therefore
as the famous following formula generalizes this rule:
Remark 3.5. If
and if
, then
, with
prime and distinct.
Recall that
, denotes the class of i modulo p.
If
denotes the pair (index n of a cyclotomic, degree i of a monomial), then
Lemme 3.6. For 14 pairs
for which
,
and
; for 78 with
,
and
; when
and
except for 4 pairs and when
except for 7 pairs
; the coefficients
when n is odd and
, of the first 100 cyclotomic polynomials satisfy the following formula:
(12)
The 14 pairs are (see script 2):
(35, 8) (55, 12) (55, 17) (65, 14) (65, 19) (65, 24) (77, 12) (77, 19) (77, 23) (77, 26) (77, 30) (85, 18) (85, 23) (85, 28).
Lemme 3.7. For the following 19
(4, 7 and 8) the coefficient is 0:
(55, 11) (55, 16) (77, 22) (77, 29)
(45, 6), (63, 6), (63, 15), (75, 10), (99, 6), (99, 15), (99, 24)
(91, 14), (91, 21), (91, 28), (91, 35), (95, 20),(95, 25), (95, 30) and (95, 35).
Lemme 3.8. For the following 13, the coefficient is 1 and are the only ones with non-zero coefficients distinct from
:
(35, 12) (65, 18) (65, 23) (77, 18) (77, 25) (85, 22)
(85, 27) (85, 32) (91, 20) (91, 33) (95, 24)
(95, 29) and (95, 34).
Theoreme 3.9. For n less than or equal to 100, if
,
,
and if
is not among the 27 previous ones (
), Then
.
If
is not among the
and if one of the conditions above is not verified, That is, when
,
or
, then:
This is the formula (12) above.
Example 3.10.
because it is not among the 27, and since
so
and
and is not 1.
On the other hand:
Example 3.11.
, we have equality because
.
Example 3.12. (39, 6) also checks the formula because although
,
but
(39 and 6 are not prime between them.), indeed:
.
Note that we have
in 118 case,
is zero without
in 152 and we never have the opposite. Verification scripts will not be prepared for this, but they are similar to those that will be established. Theoreme 3.13. If
is not multiple of 4, then except for
, if
then
, for
. There are 16 to 100 and 98 until 1000.
Let’s check with the following maple script and its counter k which will count the number of
that do not check the equality and that will give 1 at the end of the process.
>
: for n to 1000 do for i to
do if
then if
then
, print
fi fi od od; print (k)
1, 1
1
This script gives 3 times the value 1: for the index n = 1 of the only cyclotomic and for the degree i = 1 of the single dgre of x to which the quoted formula (In fact it is the formula (12)) is not verified when
is not divisible by 4.It also gives the value of the counter k of all the pairs
that do not satisfy the formula which is of course k = 1. All that because it was asked to returner
by print
and return k by print (k).
Example 3.14.
has all its coefficients that check the formula because
which is not multiple of 4.
>
; for i to
do if
then
end if end do; print (k)
0
Corollaire 3.15. If
is not multiple of 4, then except for
, if
then
, and this for n ≤ 1000
proof. If n is odd,
, so
is not multiple of 4 and we have the formula for
.
If n is even,
cannot be, except for
, because then n would be multiple of 4 and
also, for
, we have
and the formula is checked for all the coefficients of
. since n is even, then
because
is not multiple of 4, or
because n is even. +
As for theorem, 3.13 we will set 9 numbered Maple scripts, to check all that precedes and to see what are the 4 (script1), 14 (script2) and 7 (script5) of the theorem. But first a script just for the 165 (script9) number of pairs that are exceptions to the formula among which the 4, the 7 and 154 (script8) others with
and
, for which we are going anyway, establish a script to describe 13 pairs (script7) exceptions of this exception with
instead of 0 for all other exceptions.
A script3 to verify that we have 78 pairs
with
,
and
); a script4 for the 8 which under the same conditions of the 78 but with
and a script6 to see if
, we always have
.
A hashtag (#) will be followed by a comment of the script, to explain it.
SCRIPT 1
>
; for n to 100 do for i to
do for p to 50 do for q to 50 do if isprime(p) = true then if isprime(q) = true then if
then if
then if
then if
then
, print(n, i,
,
, k) end if end if end if end if end if end if end do end do end do end do # This script will give the 4 exceptions when
and
#The four exceptions are of 0 coefficient and will be among the 21 of the following theorem.
55, 11, 0, 1, 1
55, 16, 0, −1, 2
77, 22, 0, 1, 3
77, 29, 0, −1, 4
The 14 pairs for which the formula is good when
, despite that
are given by:
SCRIPT 2
>
; for n to 100 do for i to
do for p to 50 do for q to 50 do if isprime(p) = true then if isprime(q) = true then if
then if
then if
then if
then if
then
, print(n, i, k,
,
) end if end if end if end if end if end if end if end do end do end do end do
35, 8, 1
55, 12, 2
55, 17, 3
65, 14, 4
65, 19, 5
65, 24, 6
77, 12, 7
77, 19, 8
77, 23, 9
77, 26, 10
77, 30, 11
85, 18, 12
85, 23, 13
85, 28, 14
The 78 couples for which the formula is good when
and when
are given by:
SCRIPT 3
>
; for n to 100 do for i to
do for p to 50 do for q to 50 do if isprime(p) = true then if isprime(q) = true then if
then if
then if
then if
then if
then
, print(k) end if end if end if end if end if end if end if end do end do end do end do # The number is 78 when
78
Remark 3.16. Note that there is 8, under the same conditions that do not check the formula and which will be among the 19 of the theorem, indeed we have the following script.
SCRIPT 4
>
; for n to 100 do for i to
do for p to 50 do for q to 50 do if isprime(p) = true then if isprime(q) = true then if
then if
then if
then if
then if
then
, print(n, i,
,
, k) end if end if end if end if end if end if end if end do end do end do end do # The number is 78 when
# For the 8, the coefficient is 0 and will be counted among the 21 of the following theorem.
91, 14, 0, 1, 1
91, 21, 0, 1, 2
91, 28, 0, 1, 3
91, 35, 0, 1, 4
95, 20, 0, 1, 5
95, 25, 0, 1, 6
95, 30, 0, 1, 7
95, 35, 0, 1, 8
For the case
= 0:
SCRIPT 5
>
; for n to 100 do for i to
do if
then if
then if
then if
then
, print(n, i,
,
, k) end if end if end if end if end do end do # The exceptions are 7, all of them are 0 and among the 21 of the theorem.
45, 6, 0, −1, 1
63, 6, 0, −1, 2
63, 15, 0, −1, 3
75, 10, 0, −1, 4
99, 6, 0, −1, 5
99, 15, 0, −1, 6
99, 24, 0, −1, 7
On the other hand for
, there is no exception:
SCRIPT 6
>
; for n to 100 do for i to
do if
then if
then if
then if
then
, print(n, i,
,
, k) end if end if end if end if end do end do;print(k) # since there is no exception, you have to ask k after the script and start it at 0
0
And for the 13 who are with coefficient 1 distinct from
when
and
:
SCRIPT 7
>
; for n to 100 do for i to
do if
then if
then if
then if
and
then
, print(n, i,
,
, k) end if end if end if end if end do end do
35, 12, 1, −1, 1
65, 18, 1, −1, 2
65, 23, 1, −1, 3
77, 18, 1, −1, 4
77, 25, 1, −1, 5
85, 22, 1, −1, 6
85, 27, 1, −1, 7
85, 32, 1, −1, 8
91, 20, 1, −1, 9
91, 33, 1, −1, 10
95, 24, 1, −1, 11
95, 29, 1, −1, 12
95, 34, 1, −1, 13
The total number of exceptions when
and
is:
SCRIPT 8
>
; for n to 100 do for i to
do for p to 50 do for q to 50 do if isprime(p) = true then if isprime(q) = true then if
then if
then if
then if
then
, print(k) end if end if end if end if end if end if end do end do end do end do
154
Let’s recap a bit: The number of pairs that do not satisfy the formula
, is
Let’s check this number:
SCRIPT 9
>
; for n to 100 do for i to
do if
then if
then
, print(k) end if end if end do end do
165
!! It’s won!!
4. Euler Indicator Properties
[7]
1) For
and
,
is always even.
2) If m is odd then
(13)
3) If
,
(14)
4) If m and n are prime between them, then
(15)
5) If p is prime, then
(16)
6) In general, for
,
(and by the way, we’ll see that
(17).
7) We can also define the inverse of
, which is the function
, which gives the set of values for which
is worth n. It can be empty, in which case there would be no cyclotomic of degree n,
can in return contain several values that maple gives in the form of an ordered sequence, for example
.
5. Other Properties of Cyclotomic Coefficients
1) Up to
, the coefficients of
are always −1, 0 or 1, and it is only from 105 that the first coefficient appears-2 [7] (see [7] ). with maple we will also check.
2) Up to 384, a coefficient of
is never an absolute value strictly greater than 2, with maple, we can see that, as well as the following properties.
3) For
, the absolute value of a coefficient of
is a maximum of 3.
4) Before 1785, we can not find a coefficient of
with an absolute value strictly greater than 4.
5) If
, then
.
6) All absolute values of all coefficients of
, with (
), are less than or equal to 6.
7) Note that there is an increasing dependence of the maximum values of the absolute values of the coefficients of a cyclotomic, that the limit values are all of a unit number 5.
And with maple 12 we get:(the hashtag # is followed by a comment)
>with (numtheory) # (Package to download)
>
# It will give the sequence of coefficients with repetition:
1, 1, 1, 1, 1
>
# it will give the set of coefficients, here reduced to a single element without repetition.
>
; for k to 104 do
end do; print(E) # we only have −1 and 1
>
; for k to 105 do
end do; print(E). # We have −2 more, hence the absolute value 2 more
>
; for k to 384 do
end do; print(E) # (2 extra)
>
; for k to 385 do
end do; print(E) # the absolute value 3]
>
; for k to 1364 do
end do; print(E) # (not new)
>
; for k to 1365 do
end do; print(E) # (−4 and 3 more and the absolute value 4)
>
; for k to 1785 do
end do; print(E)
>
; for k to 1785 do
end do; print(E) # (4 and 5 more and the 5 absolute value)
>
; for k to 2804 do
end do; print(E) # (the −5 extra)
>
; for k to 2805 do
end do; print(E) # (−6 and 6 more and the absolute value 6);
>
; for k to 3134 do
end do; print(E) # (Always the same set, the 7 absolute value will only appear in the 3135 index)
>
; for k to 3135 do
end do; print(E) # (we get −7 and 7 more)
8) By factoring these limit values, for absolute values using maple, we will see that they are all without square factor, ie they are of non-zero mobius, and that their indicators of Euler do not have a separate divisor of 2, 3 or 5.
9) The numbers 105, 385, 1365, 1785, 2805 and 3135 are multiples of 5 by numbers that are not multiples, and 5 being prime, we can apply to the
for these values of n, the property
. The Euclidean divisions will give coefficients for these cyclotomics, sometimes with absolute values greater than 1.
10) For all
,
has all its coefficients in
and it is irreducible on
, so on
(see [5] ). And on a nonzero characteristic field, if
is irreducible, then
is for all d divisor of n (see [4] ). We also have that for all
, there exists n such that m or -m is coefficient of
(see [8] ), for all
there is a symmetry of the coefficients of
around
see [2] , and if n is prime, then
is
(see Example 5.1); that if p is prime and does not divide n then
(see Example 5.2)
If n is odd,
(see Example 5.3); If p is prime and does not divide m, then
(see Example 5.4 example 4). But if p is prime and divide n, we have
(see Example 5.5).
Finally, if m is the no-factor part of n (the product of prime factors that divide n), then
. (see Example 5.6)
And as examples illustrating these properties we have with maple:
Example 5.1. with
>
;
Example 5.2. with
and
.
>
, simplify (
);
,
Example 5.3. with
>
,
,
Example 5.4. with
,
and
.
>
,
,
For the examples 5 and 6, one recalls the definition of the function
:
>
>
Example 5.5. with
and
>
,
,
Example 5.6. with
and the part without a square factor of n is
>
,
,
6. Prime Indices and Determination of a Cyclotomic with All Its Coefficients
Again and again cyclotomics. This time for the direct calculation of cyclotomics. For that, let’s remember that we will adopt the notations in maple 12 that follow, after loading the package “with (numtheory)” (mul is the product):
;
.
.
The piecewise function is a part-by-part function defined with maple, with one condition and one value if the condition is true and another value otherwise. For the summary calculation of cyclotomics we will apply the 7 properties of paragraph 3:
Thus the formal calculation of all cyclotomics is reduced to the determination of the cyclotomics with prime indices. So:
If p is prime then the index cyclotomic p is
.
The first need of a cyclotomic of index a prime number p, to calculate another is to calculate its square.
The second need is to calculate the one of index its product by the first number which follows it, if one does not want to use that of index that which follows it, and if one wants always to use the smallest possible ones.
For example in the following scripts, we will use
only until
, then for
, knowing that 5 is the prime number that precedes 7.
If we wanted to go further, we would have needed the index 11, that when we arrived at 112, i.e. 121, then for
. So we will only use 2th and 3‘em cyclotomic up to
.
-we will only use the 2th, 3th and 5th cyclotomics up to
.
we will only need 2nd, 3th, 5th and 7th for all our first 100 cyclotomics, and we could have advanced up to to 120, since the next prime number 7 is 11, and since
.
So let’s go for some examples:
>
,
,
>
, simplify
,
>
,
,
>
,
,
>
,
; simplify
,
And with similar scripts we get:
Let
.
.
And from
, we will need
.
Then you will need
only for the product of 5 by the first that follows it i.e.
.
Until cy (48) we have no problem:
From
we will need
:
And that goes well up to
without difficulty.
Before starting the calculation of the coefficients, let us first note that for a cyclotomic of index n which is of degree
and which denotes the number of prime numbers with n strictly inferior to n, the coefficients are drawn by symmetry with respect to
(see [3] ). For example:
The coefficient of
in 47 is, the one in 13 since
, the half is 30 of which 47 and 13 are for same distance. And it’s −1. Indeed:
>
Whereas for cy(105) (resp. cy(385)), the first product of three distinct prime numbers two to two, we find the first coefficients of absolute value strictly greater than 1, in degrees 7 and 41, symmetrically compared to
(resp.strictly greater than 2, in 119, 120 and 121, which is
,
and
).
>
,
,
,
−2, −2, −3, −3
7. Examples
We will give two examples of cyclotomics with indices greater than 100 to determine and to determine their coefficients, to see how we reduce ourselves to a cyclotomic index less than 100. It will be cy(225) and cy(120).
For cy(225), we have
and
, based on the properties of the cyclotomics in the paragraph 3. 225) has zero coefficients in
if i is not multiple of 15. Its coefficients in 0, 15, 30, 45, 60, 75, 90, 105 and 120 are those of cy(15) in 0, 1, 2, 3, 4, 5, 6, 7 and 8. If we call the (
) the coefficients of cy(15) and (
) those of cy(225) then:
.
We know that
.
Since
and
, then we have the following equalities:
,
and
.
Applying our formulas to
, we find
and so
All this while noting that
is not an exception since
,
not because
, so the coefficients y are respectively
and
, which is 1 and −1.
However, for
which is part of the 53, the coefficient is 0 because
,
,
and
, so there are exceptions, and since
, so is one of 53 and
. By symmetry
is zero too.
We then deduce from (
) the
and hence
.
With the Euclidean division and expressing it with the help of cyclotomic indices, we have:
, indeed with maple 12, the following script shows this equality:
>
0
We know that:
So, we find our
.
Now for
, and this by applying the paragraph 7 formulas on the properties of cyclotomics. Now, according to the previous example,
, thus keeping for the pair powers their signs and by inverting those odd powers and multiplying them by 4 we get
.
By the way
because 2 divides 60, and like 2 divides 30 so this is
, but 2 does not divide 15, then
. or
and 3 does not divide 5, hence
and
, that is
which is by Euclidean division
which is none other than
.
8. Conclusion
We hope to have raised some riddles of cyclotomic polynomials and their coefficients, and the enigma that has pained many mathematicians and researchers, this by the formula F12 and by means of prime numbers as in the examples of paragraph 6. Maple, Euler and Mobius helped us a lot. It’s not rocket science. We will advance in future articles.