Repository navigation
Conversation
|
Thanks @kpd-0 ! This still needs some documentation, if you look in the file: To check that it works you can either do |
|
Also @kpd-0 you'll need to fix the failing CI jobs, clicking on the various links should indicate what has gone wrong. If you're not sure about anything then please ping me, and I'll try to help. (The CI didn't run automatically when you opened the PR because you've never contributed before, next submission it'll run automatically). |
Co-authored-by: James Mitchell <james-d-mitchell@users.noreply.github.com>
|
Ought I to add a refrence to a bibliography file here? |
Ah yes, good point, you should add something to |
|
I made changes to the bibliography doc locally, but I'm unsure about it being pushed to the online version. I couldn't see it on git status or anyhting? Do you know if I need to make the change elsewhere? |
Wrote method for FullDomainPartitionMonoid using generators. Changes in semiex.gi, semiex.gd, semiex.tst