#14541: Family over enumerated set has wrong category
--------------------------------------------------------------------------------+
Reporter: cnassau
| Owner: nthiery
Type: defect
| Status: needs_review
Priority: minor
| Milestone: sage-5.10
Component: categories
| Resolution:
Keywords: Family, Category of finite enumerated sets, CartesianProduct
| Work issues:
Report Upstream: N/A
| Reviewers:
Authors: Christian Nassau
| Merged in:
Dependencies:
| Stopgaps:
--------------------------------------------------------------------------------+
Description changed by cnassau:
Old description:
> This happens with Sage 5.10beta1:
>
> {{{
> sage: P=Permutations()
> sage: print P.category()
> Category of sets
> sage: print P.cardinality()
> +Infinity
> sage: F=Family(Permutations(), lambda i:i)
> sage: print F.category()
> Category of finite enumerated sets
> }}}
>
> But clearly {{{F}}} is not finite...
New description:
This happens with Sage 5.10beta3:
{{{
sage: P=Permutations()
sage: print P.category()
Category of sets
sage: print P.cardinality()
+Infinity
sage: F=Family(Permutations(), lambda i:i)
sage: print F.category()
Category of finite enumerated sets
}}}
But clearly {{{F}}} is not finite...
Another bug, (also fixed in the attached patch):
{{{
sage: Family(CartesianProduct(ZZ,ZZ),lambda (x,y) :
(x+y,x-y)).cardinality()
...
TypeError: cardinality does not fit into a Python int.
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14541#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
