Page Menu
Home
c4science
Search
Configure Global Search
Log In
Files
F78023196
test_static_types.cpp
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Sat, Aug 17, 22:08
Size
3 KB
Mime Type
text/x-c
Expires
Mon, Aug 19, 22:08 (2 d)
Engine
blob
Format
Raw Data
Handle
19924246
Attached To
rTAMAAS tamaas
test_static_types.cpp
View Options
/**
* @file
* @section LICENSE
*
* Copyright (©) 2016-2020 EPFL (École Polytechnique Fédérale de Lausanne),
* Laboratory (LSMS - Laboratoire de Simulation en Mécanique des Solides)
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License as published
* by the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Affero General Public License for more details.
*
* You should have received a copy of the GNU Affero General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>.
*
*/
/* -------------------------------------------------------------------------- */
#include "static_types.hh"
#include "test.hh"
using
namespace
tamaas
;
/* -------------------------------------------------------------------------- */
TEST
(
TestStaticTypes
,
GEMV
)
{
Matrix
<
UInt
,
3
,
3
>
A
({
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
});
UInt
b_
[]
=
{
1
,
2
,
3
};
VectorProxy
<
UInt
,
3
>
b
(
b_
);
auto
res
=
A
*
b
;
std
::
vector
<
UInt
>
solution
=
{
14
,
32
,
50
};
ASSERT_TRUE
(
compare
(
res
,
solution
))
<<
"Matrix multiplication fail"
;
}
TEST
(
TestStaticTypes
,
Dot
)
{
UInt
a_
[]
=
{
2
,
3
};
UInt
b_
[]
=
{
1
,
5
};
VectorProxy
<
UInt
,
2
>
a
(
a_
[
0
]),
b
(
b_
[
0
]);
ASSERT_EQ
(
a
.
dot
(
b
),
17
)
<<
"Dot product fail"
;
}
TEST
(
TestStaticTypes
,
Norm
)
{
Real
a_
[]
=
{
3.
,
4.
};
VectorProxy
<
Real
,
2
>
a
(
a_
[
0
]);
ASSERT_DOUBLE_EQ
(
a
.
l2norm
(),
5
)
<<
"L2 norm fail"
;
}
TEST
(
TestStaticTypes
,
Symmetrization2D
)
{
Matrix
<
Real
,
2
,
2
>
A
({
1
,
2
,
3
,
4
});
Vector
<
Real
,
3
>
Av
({
1
,
4
,
std
::
sqrt
(
2
)
*
2.5
});
SymMatrix
<
Real
,
2
>
As
;
As
.
symmetrize
(
A
);
ASSERT_TRUE
(
compare
(
Av
,
As
,
AreFloatEqual
()))
<<
"Symmetrization fail"
;
Matrix
<
Real
,
2
,
2
>
B
,
Bref
({
1
,
2.5
,
2.5
,
4
});
B
.
fromSymmetric
(
As
);
ASSERT_TRUE
(
compare
(
Bref
,
B
,
AreFloatEqual
()))
<<
"Dense construction fail"
;
}
TEST
(
TestStaticTypes
,
Symmetrization3D
)
{
Matrix
<
Real
,
3
,
3
>
A
({
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
});
Vector
<
Real
,
6
>
Av
(
{
1
,
5
,
9
,
std
::
sqrt
(
2
)
*
7
,
std
::
sqrt
(
2
)
*
5
,
std
::
sqrt
(
2
)
*
3
});
SymMatrix
<
Real
,
3
>
As
;
As
.
symmetrize
(
A
);
ASSERT_TRUE
(
compare
(
Av
,
As
,
AreFloatEqual
()))
<<
"Symmetrization fail"
;
Matrix
<
Real
,
3
,
3
>
B
,
Bref
({
1
,
3
,
5
,
3
,
5
,
7
,
5
,
7
,
9
});
B
.
fromSymmetric
(
As
);
ASSERT_TRUE
(
compare
(
Bref
,
B
,
AreFloatEqual
()))
<<
"Dense construction fail"
;
}
TEST
(
TestStaticTypes
,
Invariants
)
{
SymMatrix
<
Real
,
3
>
Av
(
{
1
,
5
,
9
,
std
::
sqrt
(
2
)
*
7
,
std
::
sqrt
(
2
)
*
5
,
std
::
sqrt
(
2
)
*
4
});
auto
invar
=
invariants
(
Av
);
Matrix
<
Real
,
3
,
3
>
B
;
B
.
fromSymmetric
(
Av
);
auto
B2
=
B
*
B
;
Vector
<
Real
,
3
>
sol
;
sol
(
0
)
=
B
.
trace
();
sol
(
1
)
=
0.5
*
(
B
.
trace
()
*
B
.
trace
()
-
B2
.
trace
());
sol
(
2
)
=
7
;
ASSERT_TRUE
(
compare
(
invar
,
sol
,
AreFloatEqual
{
1e-14
}))
<<
"Invariants fail"
;
}
TEST
(
TestStaticTypes
,
Eigenvalues
)
{
SymMatrix
<
Real
,
3
>
Av
({
2
,
3
,
9
,
std
::
sqrt
(
2
)
*
4
,
0
,
0
});
auto
eigen
=
eigenvalues
(
Av
);
// invariants
Vector
<
Real
,
3
>
sol
;
sol
(
0
)
=
1
;
sol
(
1
)
=
2
;
sol
(
2
)
=
11
;
ASSERT_TRUE
(
compare
(
eigen
,
sol
,
AreFloatEqual
{
1e-14
}))
<<
"Eigenvalues do not reproduce invariants"
;
}
Event Timeline
Log In to Comment