1.23
2.0
acw/focus-triggers
main
test-branch
| Line | |
|---|
| 1 |
|
|---|
| 2 | Example 2:
|
|---|
| 3 |
|
|---|
| 4 | This is a PETSc example that has been refactored. This is motivated by some ideas we are exploring in automatic differentiation. The verification task would be to confirm that all of the variants are equivalent. They should all be real equivalent (in terms of the function computed -- some of the error checking and flop counting is not the same). Some of them might even be Herbrand equivalent.
|
|---|
| 5 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
