Changeset 5eb16f in git


Ignore:
Timestamp:
Jul 20, 2021, 3:20:52 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
147ec2fa7a6fd5af2304a93a18aca1469bd31b9a
Parents:
b0ab81ff694ca242d9bcc104c148362ddf81f71e
Message:
fix: explain idLift
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/ideals.cc

    rb0ab81 r5eb16f  
    10971097*/
    10981098/// represents the generators of submod in terms of the generators of mod
    1099 /// (Matrix(SM)*U = (Matrix(M)-Matrix(rest))*matrix(result))
     1099/// (Matrix(SM)*U-Matrix(rest)) = Matrix(M)*Matrix(result)
    11001100/// goodShape: maximal non-zero index in generators of SM <= that of M
    11011101/// isSB: generators of M form a Groebner basis
Note: See TracChangeset for help on using the changeset viewer.