Mercurial > repos > public > sbplib_julia

annotate test/Grids/parameter_space_test.jl @ 1989:77ff0a2acbe5 feature/grids/parameter_spaces/in

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add Base.in for Interval
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 23 Apr 2025 15:27:42 +0200
parents 15be190a40cd
children 8cf1764ba124
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 using Test
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2
1909
4209290cb377 Add missing using-statement
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
3 using Diffinitive.Grids
4209290cb377 Add missing using-statement
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
4
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
5 @testset "ParameterSpace" begin
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
6 @test ndims(HyperBox([1,1], [2,2])) == 2
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
7 @test ndims(unittetrahedron()) == 3
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
8 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
9
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
10 @testset "Interval" begin
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
11 @test Interval <: ParameterSpace{1}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
12
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
13 @test Interval(0,1) isa Interval{Int}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14 @test Interval(0,1.) isa Interval{Float64}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
15
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
16 @test unitinterval() isa Interval{Float64}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
17 @test unitinterval() == Interval(0.,1.)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
18 @test limits(unitinterval()) == (0.,1.)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
19
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
20 @test unitinterval(Int) isa Interval{Int}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
21 @test unitinterval(Int) == Interval(0,1)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
22 @test limits(unitinterval(Int)) == (0,1)
1910
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
23
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
24 @test boundary_identifiers(unitinterval()) == (LowerBoundary(), UpperBoundary())
1989
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
25
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
26 @test 0 ∈ Interval(0,1)
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
27 @test 0. ∈ Interval(0,1)
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
28 @test 1. ∈ Interval(0,1)
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
29 @test 2 ∉ Interval(0,1)
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
30 @test -1 ∉ Interval(0,1)
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
31 @test -1. ∉ Interval(0,1)
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
32 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
33
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
34 @testset "HyperBox" begin
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
35 @test HyperBox{<:Any, 2} <: ParameterSpace{2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
36 @test HyperBox([1,1], [2,2]) isa HyperBox{Int, 2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
37
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
38 @test HyperBox([1,2], [1.,2.]) isa HyperBox{Float64,2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
39
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
40 @test limits(HyperBox([1,2], [3,4])) == ([1,2], [3,4])
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
41 @test limits(HyperBox([1,2], [3,4]), 1) == (1,3)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
42 @test limits(HyperBox([1,2], [3,4]), 2) == (2,4)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
43
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
44 @test unitsquare() isa HyperBox{Float64,2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
45 @test limits(unitsquare()) == ([0,0],[1,1])
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
46
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
47 @test unitcube() isa HyperBox{Float64,3}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
48 @test limits(unitcube()) == ([0,0,0],[1,1,1])
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
49
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
50 @test unithyperbox(4) isa HyperBox{Float64,4}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
51 @test limits(unithyperbox(4)) == ([0,0,0,0],[1,1,1,1])
1910
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
52
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
53
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
54 @test boundary_identifiers(unitsquare()) == [
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
55 CartesianBoundary{1,LowerBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
56 CartesianBoundary{1,UpperBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
57 CartesianBoundary{2,LowerBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
58 CartesianBoundary{2,UpperBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
59 ]
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
60
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
61 @test boundary_identifiers(unitcube()) == [
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
62 CartesianBoundary{1,LowerBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
63 CartesianBoundary{1,UpperBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
64 CartesianBoundary{2,LowerBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
65 CartesianBoundary{2,UpperBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
66 CartesianBoundary{3,LowerBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
67 CartesianBoundary{3,UpperBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1909
diff changeset
68 ]
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
69 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
70
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
71 @testset "Simplex" begin
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
72 @test Simplex{<:Any, 3} <: ParameterSpace{3}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
73 @test Simplex([1,2], [3,4]) isa Simplex{Int, 2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
74 @test Simplex([1,2,3], [4,5,6],[1,1,1]) isa Simplex{Int, 3}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
75
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
76 @test Simplex([1,2], [3.,4.]) isa Simplex{Float64, 2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
77
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
78 @test verticies(Simplex([1,2], [3,4])) == ([1,2], [3,4])
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
79
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
80 @test unittriangle() isa Simplex{Float64,2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
81 @test verticies(unittriangle()) == ([0,0], [1,0], [0,1])
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
82
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
83 @test unittetrahedron() isa Simplex{Float64,3}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
84 @test verticies(unittetrahedron()) == ([0,0,0], [1,0,0], [0,1,0],[0,0,1])
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
85
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
86 @test unitsimplex(4) isa Simplex{Float64,4}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
87 end