Commit 1304087
Raoul Bourquin
Single source of definition for phi
Note: As calcium resolves quadratic fields, we still get phi
explicitly as Q(sqrt(5)) instead of Q(a) with a^2-a-1 = 0.1 parent cf1e761 commit 1304087
1 file changed
+7
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
18 | | - | |
19 | | - | |
20 | | - | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
21 | 25 | | |
0 commit comments