The Atelier Focal

Show Task #

Task #204 origin of a definition in FoCDoC

Opened by Renaud Rioboo (renaud) - 10 Mar 2009

Task Type	Feature Request
Category	Focdoc
Status	Unconfirmed
Assigned To	No-one
Operating System	All

Severity	Medium
Reported Version	Current
Due in Version	Undecided
Percent Complete

Details

It would be nice when defining an already declared function to know where the declaration comes from.

See the documentation for function is_zero of species Integral_semi_ring