I've now added REDUCED into the algebra (sec 12) peoperly now. It didn't make the LC doc due to time. The key definition that defines the cardinality is: """card[Reduced(X)](y) is between 1 and card[X](y)""" X is a sequnce, y a solution in the sequence. See rq25. and there is a note after the defintion: """ The Reduced solution sequence modifier does not guarantee a defined cardinality. """ Andy -- Hewlett-Packard Limited Registered Office: Cain Road, Bracknell, Berks RG12 1HN Registered No: 690597 EnglandReceived on Thursday, 3 May 2007 14:30:52 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 1 October 2009 14:42:08 GMT