https://github.com/anirudhamajumdar/spotless
Raw File
Tip revision: e27bd32f67c3a8a6bfec605f7f065217f7583dc8 authored by anirudhamajumdar on 05 September 2016, 22:13:06 UTC
Merge pull request #1 from spot-toolbox/master
Tip revision: e27bd32
spot_mex_test.m
% Test spot_mex_msspoly_check_canonical.
% TODO(mmt): Write tests for the above function.
% Test spot_mex_msspoly_make_canonical_combine_coeffs.
key = [ 1 1 1
        1 1 1
        2 1 1
        2 1 1
        3 3 3];
value = [ 1 2 -100 -200 1000 ].';

[k, kO, vO] = spot_mex_msspoly_make_canonical_combine_coeffs(key, value);

if k ~= 3, error('Wrong number of keys.'); end
if ~all(all(kO(1:3,:) == [1 1 1; 2 1 1; 3 3 3])), error('Wrong keys.'); end
if ~all(vO(1:3) == [3; -300; 1000]), error('Wrong values.'); end

key = [ 1 1 1
        2 1 1
        2 1 1
        3 3 3
        3 3 3];
value = [ 1000i 1-100i 2-200i 1i-200 2i-100 ].';
[k, kO, vO] = spot_mex_msspoly_make_canonical_combine_coeffs(key, value);

if k ~= 3, error('Wrong number of keys.'); end
if ~all(all(kO(1:3,:) == [1 1 1; 2 1 1; 3 3 3])), error('Wrong keys.'); end
if ~all(vO(1:3) == [1000i; 3-300i; 3i-300]), error('Wrong values.'); end

% Test spot_mex_msspoly_make_canonical_combine_powers.
powIn = [ 1 2 0
          4 5 0
          7 0 0];
varIn = [ 22 23 24
          22 22 0
          24 27 0 ];
[pow, var] = spot_mex_msspoly_make_canonical_combine_powers(powIn, ...
                                                  varIn);
if ~isequal(pow, [1 2 0; 9 0 0; 7 0 0]), error('Wrong powers.'); end
if ~isequal(var, [22 23 0; 22 0 0; 24 0 0]), error('Wrong variables.'); end
back to top