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

Overflowing timeline in a multi-timeline recurrence relation's general case that should be cought by its base case #21

Open
pt7k opened this issue Jan 16, 2025 · 0 comments

Comments

@pt7k
Copy link
Contributor

pt7k commented Jan 16, 2025

Tau version: 0.7 (v0.7-alpha-162-gc534f60)
Build: c534f60
OS: Ubuntu

** Summary **
I was trying to use a two time-line recurrence relations, but there is a major inconvenience when the recurrence is evaluating the edge timeline between its base case and general case. Even though a proper base case is declared before the general case, the relation still tries to use its general case going into negative timeline index, I believe, and throwing out (Warning) shift creation: left < right. It manages to skip that part with just a warning, so there is no crashing or hanging, but due to the multi-timeline nature of this example the problem keeps on accumulating further down the recurrence spamming the output with lots and lots of warnings.

** Input **

r[0,0]() := 0
r[0,b]() := r[0,b-1]()
r[t,0]() := r[t-1,0]()
r[t,b]() := r[t,b-1]()
n r[1,0]()

** Screenshot **

Image

** Notes **
In this situation I would be expecting the base case to take priority over the general case, thus eliminating any potential errors or warnings due to evaluation of the latter. I also tried to work around it by supplying all 4 of r[0,0] r[0,1] r[1,0] r[1,1] initial values in the defs, but it only delayed the problem into the subsequent step.

Contact details: Telegram @ksdjfskfh

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant