|
___Basic__Divisor.out |
0.521 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
___Basic__Divisor_sp_pl_sp__Basic__Divisor.out |
1.399 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
___Number_sp_st_sp__Basic__Divisor.out |
0.925 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
___O__O_sp__R__Weil__Divisor.out |
1.642 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
___R__Weil__Divisor_sp_eq_eq_sp__R__Weil__Divisor.out |
0.512 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_apply__To__Coefficients.out |
0.255 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_base__Locus.out |
0.429 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_canonical__Divisor.out |
0.349 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_ceiling_lp__R__Weil__Divisor_rp.out |
0.605 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_clean__Support.out |
0.258 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_clear__Cache.out |
0.459 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_coefficient_lp__Basic__List_cm__Basic__Divisor_rp.out |
0.248 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_coefficient_lp__Ideal_cm__Basic__Divisor_rp.out |
0.327 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_coefficients_lp__Basic__Divisor_rp.out |
0.711 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_divisor.out |
2.65 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_dualize.out |
1.675 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_embed__As__Ideal.out |
1.146 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_find__Element__Of__Degree.out |
0.488 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_gbs.out |
0.52 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_get__Linear__Diophantine__Solution.out |
0.812 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_get__Prime__Count.out |
0.489 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_get__Prime__Divisors.out |
0.349 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_ideal__Power.out |
0.328 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_ideal_lp__R__Weil__Divisor_rp.out |
0.993 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Cartier.out |
0.979 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Domain.out |
0.231 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Effective.out |
0.495 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Homogeneous_lp__Basic__Divisor_rp.out |
0.458 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Linear__Equivalent.out |
0.667 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Prime_lp__Basic__Divisor_rp.out |
0.355 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Principal.out |
0.372 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Q__Cartier.out |
1.166 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Q__Linear__Equivalent.out |
1.108 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Reduced.out |
0.313 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Reflexive_lp__Ideal_rp.out |
0.302 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__S__N__C.out |
1.002 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Smooth_lp__Ideal_rp.out |
0.795 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Very__Ample_lp__Weil__Divisor_rp.out |
0.254 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Weil__Divisor.out |
0.445 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Well__Defined_lp__Basic__Divisor_rp.out |
0.741 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_is__Zero__Divisor.out |
0.431 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_map__To__Projective__Space.out |
0.651 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_non__Cartier__Locus.out |
1.311 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_positive__Part.out |
0.762 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_primes.out |
0.59 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_pullback_lp__Ring__Map_cm__R__Weil__Divisor_rp.out |
0.747 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_ramification__Divisor.out |
0.826 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_reflexify.out |
4.251 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_reflexive__Power.out |
1.069 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_ring_lp__Basic__Divisor_rp.out |
0.243 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_to__Q__Weil__Divisor.out |
0.366 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_to__R__Weil__Divisor.out |
0.447 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_to__Weil__Divisor.out |
0.563 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_torsion__Submodule.out |
0.349 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_trim_lp__Basic__Divisor_rp.out |
0.355 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |
|
_zero__Divisor.out |
0.17 KB |
-rw-r--r--
|
Edit |
Rename |
Delete |