Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP: Automatic Domain Splitting #178

Open
wants to merge 64 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from 19 commits
Commits
Show all changes
64 commits
Select commit Hold shift + click to select a range
f8c9459
Automatic Domain Splitting
LuEdRaMo Jan 23, 2024
6fe7df0
Remove const from ADSBinaryNode
LuEdRaMo Jan 23, 2024
c5d32fc
In-place exp fit
LuEdRaMo Jan 24, 2024
f54660c
Add tests
LuEdRaMo Jan 27, 2024
9487448
raw -> doc
LuEdRaMo Jan 30, 2024
649a7a9
Try to fix docs
LuEdRaMo Jan 30, 2024
150b02c
Merge branch 'main' into lerm/ADS
LuEdRaMo Feb 1, 2024
e752b96
Merge branch 'main' into lerm/ADS
LuEdRaMo Mar 2, 2024
fdf71d5
adsnorm
LuEdRaMo Mar 3, 2024
742c224
Fix evaltree
LuEdRaMo Mar 3, 2024
4c1a0d9
Fix countnodes
LuEdRaMo Mar 4, 2024
484f89a
Update ADS tests
LuEdRaMo Mar 4, 2024
8a82a0d
norm(, Inf) adsnorm
LuEdRaMo Mar 5, 2024
d9329ba
Fix evaltree
LuEdRaMo Mar 5, 2024
b32dfe6
Update ADS tests
LuEdRaMo Mar 5, 2024
e4d7a47
exp(varorder+1) adsnorm
LuEdRaMo Mar 7, 2024
7a15a78
Update ADS tests
LuEdRaMo Mar 7, 2024
8b8f595
Custom print for ADSDomain/ADSBinaryNode
LuEdRaMo Mar 8, 2024
f99590a
Fix ADSDomain custom print
LuEdRaMo Mar 9, 2024
bcc27be
Extend time from Real to Number
LuEdRaMo Mar 18, 2024
820cf77
Suggestions by @lbenet
LuEdRaMo Mar 18, 2024
65391eb
Reuse xaux in ADS taylorinteg
LuEdRaMo Mar 18, 2024
3d5aeec
timeshift
LuEdRaMo Mar 18, 2024
78a21f9
Merge branch 'main' into lerm/ADS
LuEdRaMo Apr 1, 2024
9661c58
Merge branch 'main' into lerm/ADS
LuEdRaMo Apr 4, 2024
5500aee
Fix unbound arg in ADSDomain()
LuEdRaMo Apr 4, 2024
5113e45
Add AT and LF compat entries
LuEdRaMo Apr 4, 2024
0b6f81b
Use TS.coeff_table
LuEdRaMo Apr 4, 2024
47d9228
Merge branch 'main' into lerm/ADS
LuEdRaMo Apr 5, 2024
612fd03
Merge branch 'main' into lerm/ADS
PerezHz Apr 6, 2024
85e8d38
Add comment
PerezHz Apr 6, 2024
5a50309
Remove local's from test/ads.jl
LuEdRaMo Apr 7, 2024
42ed56f
Export ADSBinaryNode
LuEdRaMo Apr 7, 2024
4e8cb49
Add ADSBinaryNode to docs/src/api.md
LuEdRaMo Apr 8, 2024
0e8b23e
size_per_variable -> truncerror
LuEdRaMo Apr 8, 2024
d656cc5
diams -> widths
LuEdRaMo Apr 8, 2024
79807f3
Use correct latin plural infima and suprema
LuEdRaMo Apr 8, 2024
889f409
Change output of split to tuple of ADSBinaryNode
LuEdRaMo Apr 8, 2024
b192757
Explicit Base and AT overloads
LuEdRaMo Apr 8, 2024
0d3a09c
Test ADSDomain constructors
LuEdRaMo Apr 9, 2024
52a8a5a
Test timeshift
LuEdRaMo Apr 9, 2024
fc3a769
Reorganize test/ads.jl
LuEdRaMo Apr 9, 2024
8c4bb53
Add ADS vs MC tests
LuEdRaMo Apr 12, 2024
98a67f9
Note on Base.IteratorEltype overload
LuEdRaMo Apr 12, 2024
2bbb724
Merge branch 'main' into lerm/ADS
LuEdRaMo Apr 12, 2024
73bac35
Suggestions by @lbenet
LuEdRaMo May 5, 2024
9a79f44
One RetAlloc per split
LuEdRaMo Jun 30, 2024
1b4d2cd
Fix evaltree
LuEdRaMo Jul 3, 2024
77b09a3
Updates due to JuliaDiff/TaylorSeries.jl#361
PerezHz Jul 12, 2024
7e2dd16
Remove comments and small fix
PerezHz Jul 12, 2024
2c0c7b7
Merge branch 'main' into lerm/ADS
LuEdRaMo Jul 12, 2024
f45e6e1
Merge branch 'main' into lerm/ADS
LuEdRaMo Aug 4, 2024
d9d60c4
Update ADS code to new API
LuEdRaMo Aug 6, 2024
386c7b6
Merge branch 'main' into lerm/ADS
LuEdRaMo Aug 6, 2024
1ee8994
Add docstrings
LuEdRaMo Aug 6, 2024
5fef1c4
Update tests
LuEdRaMo Aug 6, 2024
cfe5dd3
Add countnodes
LuEdRaMo Aug 6, 2024
9e06818
Add timeshift!
LuEdRaMo Aug 6, 2024
c85dc7b
Add evaltree(::ADSTaylorSolution, ::Number)
LuEdRaMo Aug 7, 2024
a10d539
Add evaltree(::ADSTaylorSolution, ::Number, ::AbstractVector)
LuEdRaMo Aug 8, 2024
57bbc38
Fix tests
LuEdRaMo Aug 8, 2024
43f87dc
Suggestions by @lbenet
LuEdRaMo Aug 8, 2024
06e7823
Non recursive countnodes
LuEdRaMo Aug 8, 2024
7a01193
Non recursive evaltree
LuEdRaMo Aug 8, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions Project.toml
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ repo = "https://github.com/PerezHz/TaylorIntegration.jl.git"
version = "0.15.0"

[deps]
AbstractTrees = "1520ce14-60c1-5f80-bbc7-55ef81b5835c"
BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
DiffEqBase = "2b5f629d-d688-5b77-993f-72d75c75574e"
Expand All @@ -12,6 +13,7 @@ Espresso = "6912e4f1-e036-58b0-9138-08d1e6358ea9"
InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
Logging = "56ddb016-857b-54e1-b83d-db4d58db5568"
LsqFit = "2fda8390-95c7-5789-9bda-21331edee243"
Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
PkgBenchmark = "32113eaa-f34f-5b0d-bd6c-c81e245fc73d"
RecursiveArrayTools = "731186ca-8d62-57ce-b412-fbd966d074cd"
Expand Down
1 change: 1 addition & 0 deletions docs/src/api.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ CurrentModule = TaylorIntegration
taylorinteg
lyap_taylorinteg
@taylorize
ADSDomain
```

## Internal
Expand Down
4 changes: 4 additions & 0 deletions src/TaylorIntegration.jl
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,17 @@ if !isdefined(Base, :get_extension)
using Requires
end

import Base: show

export taylorinteg, lyap_taylorinteg, @taylorize

include("parse_eqs.jl")
include("integrator.jl")
include("lyapunovspectrum.jl")
include("rootfinding.jl")
include("common.jl")
include("adsbinarynode.jl")
include("adstaylorinteg.jl")

function __init__()

Expand Down
Loading
Loading