CDF() should return CDF.zero()

[sagetrac-tmonteil]

We have:

sage: RR()
0.000000000000000
sage: CC()
0.000000000000000
sage: RIF()
0
sage: CIF()
0
sage: RBF()
0
sage: CBF()
0
sage: RDF()
0.0
sage: CDF()
TypeError: __call__() takes at least 1 positional argument (0 given)

Expected :

sage: CDF()
0.0

Most real field implementations rely on Parent.__call__ while complex ones have to define their own __call__ method in order to accept constructions like CC(a,b), but the implementation of CDF misses the empty case.

Component: basic arithmetic

Author: Thierry Monteil

Branch/Commit: f50e0ea

Reviewer: Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/31836

[sagetrac-tmonteil]

Branch: u/tmonteil/cdf___should_return_cdf_zero__

[sagetrac-tmonteil]

Commit: 697ed2c

[sagetrac-tmonteil]

New commits:

697ed2c

#31836 : CDF() should return CDF.zero()

[fchapoton]

comment:4

TESTS:: a un : de trop

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

4f520bf

#31836 : typo

[sagetrac-git]

Changed commit from 697ed2c to 4f520bf

[sagetrac-git]

Changed commit from 4f520bf to f50e0ea

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

f50e0ea

#31836 : typo

[sagetrac-tmonteil]

comment:7

Désolé.

[fchapoton]

Reviewer: Frédéric Chapoton

[fchapoton]

comment:8

ok, allons-y

[vbraun]

Changed branch from u/tmonteil/cdf___should_return_cdf_zero__ to f50e0ea