1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
function test153
%TEST153 list all possible semirings
%
% Lists all possible semirings that can be constructed from built-in operators.
% SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2022, All Rights Reserved.
% SPDX-License-Identifier: Apache-2.0
[binops, unary_ops, add_ops, types, semirings, selops] = GB_spec_opsall ;
n = 0 ;
types = types.all ;
binops = binops.all ;
for kadd = 1:length (add_ops)
for kadd_types = 1:length (types)
add.opname = add_ops {kadd} ;
add.optype = types {kadd_types} ;
try
[opadd, t, ztype, xtype, ytype] = GB_spec_operator (add) ;
id = GB_spec_identity (add) ;
catch
continue ;
end
if (~isequal (opadd, add.opname))
% ignore renames
continue ;
end
if (~isequal (ztype, xtype))
continue ;
end
if (~isequal (ztype, ytype))
continue ;
end
fprintf ('\n======================= monoid %s.%s:\n', opadd, ztype) ;
n2 = 0 ;
for kmult = 1:length (binops)
for kmult_types = 1:length (types)
mult.opname = binops {kmult} ;
mult.optype = types {kmult_types} ;
try
[opmult, t2, z2, xtype, y] = GB_spec_operator (mult) ;
catch
continue ;
end
if (~isequal (opmult, mult.opname))
% ignore renames
continue ;
end
if (isequal (z2, ztype))
n2 = n2+1 ;
fprintf (' %s.%s.%s\n', opadd, opmult, xtype) ;
end
end
end
fprintf (' semirings with %s.%s: %d\n', opadd, ztype, n2) ;
n = n + n2 ;
end
end
fprintf ('total unique semirings: %d\n', n) ;
|
