Mercurial > repos > public > sbplib_julia

annotate test/Grids/manifolds_test.jl @ 1779:2a8a2b52a112 feature/grids/manifolds

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
author Jonatan Werpers <jonatan@werpers.com>
date Mon, 16 Sep 2024 08:33:43 +0200
parents 03894fd7b132
children 8ecdc5bb46be
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1558
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 using Test
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2
1748
03894fd7b132 Merge feature/grids/curvilinear
Jonatan Werpers <jonatan@werpers.com>
parents: 1582
diff changeset
3 using Diffinitive.Grids
03894fd7b132 Merge feature/grids/curvilinear
Jonatan Werpers <jonatan@werpers.com>
parents: 1582
diff changeset
4 using Diffinitive.RegionIndices
03894fd7b132 Merge feature/grids/curvilinear
Jonatan Werpers <jonatan@werpers.com>
parents: 1582
diff changeset
5 using Diffinitive.LazyTensors
1558
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
6
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
7 # using StaticArrays
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
8
1580
fdee60ab8c4e Add ndims method for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1579
diff changeset
9 @testset "ParameterSpace" begin
fdee60ab8c4e Add ndims method for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1579
diff changeset
10 @test ndims(HyperBox([1,1], [2,2])) == 2
fdee60ab8c4e Add ndims method for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1579
diff changeset
11 @test ndims(unittetrahedron()) == 3
fdee60ab8c4e Add ndims method for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1579
diff changeset
12 end
fdee60ab8c4e Add ndims method for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1579
diff changeset
13
1779
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
14 @testset "Interval" begin
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
15 @test Interval <: ParameterSpace{1}
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
16
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
17 @test Interval(0,1) isa Interval{Int}
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
18 @test Interval(0,1.) isa Interval{Float64}
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
19
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
20 @test unitinterval() isa Interval{Float64}
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
21 @test unitinterval() == Interval(0.,1.)
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
22 @test limits(unitinterval()) == (0.,1.)
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
23
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
24 @test unitinterval(Int) isa Interval{Int}
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
25 @test unitinterval(Int) == Interval(0,1)
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
26 @test limits(unitinterval(Int)) == (0,1)
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
27 end
2a8a2b52a112 Refactor Interval to its own type. This allows the user better control of the coordinate type of 1d grids
Jonatan Werpers <jonatan@werpers.com>
parents: 1748
diff changeset
28
1558
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
29 @testset "HyperBox" begin
1582
d9d767980d6f Export ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1581
diff changeset
30 @test HyperBox{<:Any, 2} <: ParameterSpace{2}
1558
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
31 @test HyperBox([1,1], [2,2]) isa HyperBox{Int, 2}
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
32
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
33 @test limits(HyperBox([1,2], [3,4])) == ([1,2], [3,4])
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
34 @test limits(HyperBox([1,2], [3,4]), 1) == (1,3)
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
35 @test limits(HyperBox([1,2], [3,4]), 2) == (2,4)
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
36
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
37 @test unitsquare() isa HyperBox{Float64,2}
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
38 @test limits(unitsquare()) == ([0,0],[1,1])
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
39
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
40 @test unitcube() isa HyperBox{Float64,3}
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
41 @test limits(unitcube()) == ([0,0,0],[1,1,1])
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
42
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
43 @test unithyperbox(4) isa HyperBox{Float64,4}
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
44 @test limits(unithyperbox(4)) == ([0,0,0,0],[1,1,1,1])
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
45 end
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
46
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
47 @testset "Simplex" begin
1582
d9d767980d6f Export ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1581
diff changeset
48 @test Simplex{<:Any, 3} <: ParameterSpace{3}
1558
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
49 @test Simplex([1,2], [3,4]) isa Simplex{Int, 2}
1564
35fe4375b35f Export things and fix ConcreteChart and Simplex
Jonatan Werpers <jonatan@werpers.com>
parents: 1558
diff changeset
50 @test Simplex([1,2,3], [4,5,6],[1,1,1]) isa Simplex{Int, 3}
1579
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
51
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
52 @test verticies(Simplex([1,2], [3,4])) == ([1,2], [3,4])
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
53
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
54 @test unittriangle() isa Simplex{Float64,2}
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
55 @test verticies(unittriangle()) == ([0,0], [1,0], [0,1])
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
56
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
57 @test unittetrahedron() isa Simplex{Float64,3}
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
58 @test verticies(unittetrahedron()) == ([0,0,0], [1,0,0], [0,1,0],[0,0,1])
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
59
14d79b13b54f Add tests, fix bugs, add exports, for Simplex and friends
Jonatan Werpers <jonatan@werpers.com>
parents: 1572
diff changeset
60 @test unitsimplex(4) isa Simplex{Float64,4}
1558
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
61 end
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
62
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
63 @testset "Chart" begin
1581
f77c5309dd2b Rename ConcreteChart to Chart and remove the abstarct chart type
Jonatan Werpers <jonatan@werpers.com>
parents: 1580
diff changeset
64 c = Chart(x->2x, unitsquare())
1572
157c43966b06 Add some tests and implement parameterspace for ConcreteChart
Jonatan Werpers <jonatan@werpers.com>
parents: 1564
diff changeset
65 @test c isa Chart{2}
157c43966b06 Add some tests and implement parameterspace for ConcreteChart
Jonatan Werpers <jonatan@werpers.com>
parents: 1564
diff changeset
66 @test c([3,2]) == [6,4]
157c43966b06 Add some tests and implement parameterspace for ConcreteChart
Jonatan Werpers <jonatan@werpers.com>
parents: 1564
diff changeset
67 @test parameterspace(c) == unitsquare()
1558
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
68 end
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
69
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
70 @testset "Atlas" begin
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
71
81e97d3bec8c Start adding manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
72 end