Sponsored links: Algebra eBooks
 

Related

cardinality-false-intersect-simp-union

cardinality ({});

cardinality ({a, a, ...

union({a,b},{a,c});

Calculate

cardinality-false-simp

cardinality ({1,{{1}}});

cardinality ({a, a, ...

simp : false;

Calculate

cardinality

cardinality ({18,6,4,...

Calculate

cardinality

cardinality: ({1, 2, ...

Calculate

cardinality-false-simp

cardinality ({0, 1});

cardinality ({a, a, ...

simp : false;

Calculate

cardinality

cardinality ({P(A)});

Calculate

cardinality-false-simp

cardinality ({4, 44});

cardinality ({a, a, ...

simp : false;

Calculate

cardinality-false-simp

cardinality ({});

cardinality ({a,b});

simp : false;

Calculate

cardinality-false-simp

cardinality ({1,n});

cardinality ({a, a, ...

simp : false;

Calculate

cardinality-intersect-union

cardinality ({});

cardinality ({a, a, ...

union({{},{{}}},{{},...

Calculate

cardinality

Run Example
(%i1)cardinality ({});
(%o1)                                  0
(%i2)  cardinality ({a, a, b, c});
(%o2)                                  3
(%i3)  simp : false;
(%o3)                                false
(%i4)  cardinality ({a, a, b, c});
(%o4)                                  3
(%i5) cardinality({2, 4, 6, 8, 10, 12, 14, 18, 20, 24, 28, 30, 36, 40, 42, 50, 54, 56, 60, 70, 72, 84, 90, 98, 100, 108, 120, 126, 140, 150, 162, 168, 180, 196, 200, 210, 216, 252, 270, 280, 294, 300, 324, 350, 360, 378, 392, 420, 450, 486, 490, 504, 540, 588, 600, 630, 648, 686, 700, 756, 810, 840, 882, 900, 972, 980, 1050, 1080, 1134, 1176, 1260, 1350, 1372, 1400, 1470, 1512, 1620, 1764, 1800, 1890, 1944, 1960, 2058, 2100, 2268, 2430, 2450, 2520, 2646, 2700, 2744, 2940, 3150, 3240, 3402, 3430, 3528, 3780, 4050, 4116, 4200, 4410, 4536, 4860, 4900, 5292, 5400, 5670, 5880, 6174, 6300, 6804, 6860, 7350, 7560, 7938, 8100, 8232, 8820, 9450, 9720, 9800, 10290, 10584, 11340, 12150, 12348, 12600, 13230, 13608, 13720, 14700, 15876, 16200, 17010, 17150, 17640, 18522, 18900, 20580, 22050, 22680, 23814, 24300, 24696, 26460, 28350, 29400, 30870, 31752, 34020, 34300, 37044, 37800, 39690, 41160, 44100, 47628, 48600, 51450, 52920, 55566, 56700, 61740, 66150, 68040, 68600, 74088, 79380, 85050, 88200, 92610, 95256, 102900, 111132, 113400, 119070, 123480, 132300, 154350, 158760, 166698, 170100, 185220, 198450, 205800, 222264, 238140, 264600, 277830, 308700, 333396, 340200, 370440, 396900, 463050, 476280, 555660, 595350, 617400, 666792, 793800, 833490, 926100, 1111320, 1190700, 1389150, 1666980, 1852200, 2381400, 2778300, 3333960, 4167450, 5556600, 8334900, 16669800});
(%o5)                                 216
(%i6) 
Run Example
xprimep(x) := integerp(x) and (x <
 32);
(%o1)               xprimep(x) := integerp(x) and (x < 32)
(%i2) cardinality (subset (integer_partitions(30,3), lambda ([x], every (xprimep, x))));
(%o2)                                 91
(%i3) 
Run Example
xprimep(x) := integerp(x) and (x <
 32);
(%o1)               xprimep(x) := integerp(x) and (x < 32)
(%i2) cardinality (subset (integer_partitions(76,5), lambda ([x], every (xprimep, x))));
(%o2)                                6648
(%i3) 
[and,apply,cardinality,every,integer_partitions,integerp,lambda,map,subset] [and,cardinality,every,integer_partitions,integerp,lambda,primep,subset] [and,cardinality,every,integer_partitions,integerp,lambda,subset] [append,cardinality,disp,setify] [append,cardinality,setify] [apply,cardinality,integer_partitions,lambda,map] [cardinality,cartesian_product,intersect,powerset,product,setdifference,union] [cardinality,cartesian_product,intersect,powerset,product,union] [cardinality,cartesian_product,intersect,product] [cardinality,cartesian_product,length,makelist,product,setify] [cardinality,cartesian_product,makelist,product,setify] [cardinality,cartesian_product,powerset,product] [cardinality,cartesian_product,product] [cardinality,debugmode,true] [cardinality,every,integer_partitions,lambda,primep,subset] [cardinality,every,integer_partitions,lambda,subset] [cardinality,false,intersect,simp,union] [cardinality,false,powerset,simp] [cardinality,false,simp] [cardinality,integer_partitions,num_partitions] [cardinality,integer_partitions] [cardinality,intersect,powerset,union] [cardinality,intersect,union] [cardinality,intersect] [cardinality,intersection,parse_string,sdowncase,string] [cardinality,intersection,setdifference,union] [cardinality,intersection] [cardinality,is,lambda] [cardinality,is,powerset] [cardinality,lambda] [cardinality,powerset,setdifference] [cardinality,powerset] [cardinality,setdifference,union] [cardinality,setdifference] [cardinality,simp,true] [cardinality,simp] [cardinality,union] [cardinality]

Related Help

Help for Cardinality