Skip to content

Add preliminary support for TwistedBipartitions#1065

Open
james-d-mitchell wants to merge 10 commits intosemigroups:mainfrom
james-d-mitchell:twisted-bipartitions
Open

Add preliminary support for TwistedBipartitions#1065
james-d-mitchell wants to merge 10 commits intosemigroups:mainfrom
james-d-mitchell:twisted-bipartitions

Conversation

@james-d-mitchell
Copy link
Collaborator

No description provided.

@james-d-mitchell
Copy link
Collaborator Author

Due to a conflict if you want to use this branch again Matthias, please do (before making any changes):

git fetch jdm twisted-bipartitions
git reset --hard jdm/twisted-bipartitions

@Matthias-Fresacher
Copy link

Matthias-Fresacher commented Jun 20, 2025

I have done that. I fixed a small typo and tried to push that to your repository but it says:

ERROR: Permission to james-d-mitchell/semigroups.git denied to Matthias-Fresacher.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.

I wanted to show you an error that now exits when I load GAP:

Loading the library and packages ...
#I method installed for IsSelfDualSemigroup matches more than one declaration in /gap-4.14.0/pkg/smallsemi/gap/properties.gi:528

I have a feeling that does not have anything to do with what we are doing.

P.S. What is the text editor you are using?

@james-d-mitchell james-d-mitchell added the new-feature A label for PRs that contain new features label Jul 25, 2025
 - Split file into newly created semitwistedbipart.gx
 - Added checks for input parameters
 - Added special cases for zero
 - Added IsOne
 - Added IdentityTwistedBipartition
 - Added authorship
@Matthias-Fresacher
Copy link

I am still having the issue of not being able to push to the repository:

ERROR: Permission to james-d-mitchell/semigroups.git denied to Matthias-Fresacher.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new-feature A label for PRs that contain new features

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants