jgarnek

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-22 19:51:09 +01:00

1891b447b6 canonical ideal working

9376f28100 as_symmetric_product_forms - before change

Compare 2 commits »

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-22 17:10:17 +01:00

f37c3a4ede as symmetric power basis

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-22 10:24:27 +01:00

100e711512 quaternion covers and polyforms

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-13 21:18:15 +01:00

c952ad5001 as_witt_form addition works at least partially

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-13 17:11:43 +01:00

2face76a9e as_de_rham_witt differentials

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-12 11:32:28 +01:00

e468a3fe54 some minor corrections

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-10 18:05:46 +01:00

fb6e5e0f8e de rham for AS working

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-10 13:40:25 +01:00

3ded25e39d nie dziala ani de rham, ani crystalline

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-09 10:48:16 +01:00

64314f8011 poprawa bledow w drw

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-03 18:28:18 +01:00

d480dda08b holo basis as an argument for computation of dr basis

jgarnek pushed to master at jgarnek/DeRhamComputation

2024-01-03 10:06:48 +01:00

49cc75320d new nth_root procedure for power series

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-11-29 15:42:03 +01:00

29118d0783 corrected tests; small corrections - algebraic closure

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-11-29 11:13:47 +01:00

02a78921b3 better fix of algebraic closure

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-11-29 09:50:45 +01:00

2705221dbf fix for algebraic closure

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-09-23 17:49:41 +02:00

660e21d1d1 corrections in readme - navigate; tests

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-09-23 17:44:39 +02:00

26f50254f9 deleted ipynb checkpoints etc

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-09-23 17:42:38 +02:00

7d90f7923e readme v1; examples

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-09-23 12:57:33 +02:00

6c3fc0d50e readme - first content

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-09-23 12:40:16 +02:00

f6085eb128 moved the files to different folder

jgarnek pushed to master at jgarnek/DeRhamComputation

2023-09-23 12:37:47 +02:00