Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

extend the julia_to_gap documentation #824

Merged
merged 2 commits into from
Oct 10, 2022

Conversation

ThomasBreuer
Copy link
Member

by the explicit list of types for which conversions are provided in GAP.jl (the list which was already in the JuliaInterface manual)

This addresses issue #823.

by the explicit list of types for which conversions are provided in GAP.jl
(the list which was already in the JuliaInterface manual)
@codecov
Copy link

codecov bot commented Sep 14, 2022

Codecov Report

Merging #824 (6785912) into master (5ea071d) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #824   +/-   ##
=======================================
  Coverage   78.03%   78.03%           
=======================================
  Files          48       48           
  Lines        3687     3687           
=======================================
  Hits         2877     2877           
  Misses        810      810           
Impacted Files Coverage Δ
pkg/JuliaInterface/gap/convert.gd 100.00% <ø> (ø)
src/gap_to_julia.jl 91.85% <ø> (ø)
src/julia_to_gap.jl 89.69% <ø> (ø)

@@ -24,6 +24,24 @@ julia> GAP.julia_to_gap([ [1, 2], [3, 4]], recursive = true)
GAP: [ [ 1, 2 ], [ 3, 4 ] ]

```

The following `julia_to_gap` conversions are supported by GAP.jl.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What about the other direction? Are we actually "symmetric" in what we support? Might be good to state, too?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, of course the other direction makes sense. If you think the current proposal is more or less o.k. for julia_to_gap then I will update it to include also the other direction.

@fingolfin fingolfin merged commit 7fec87d into oscar-system:master Oct 10, 2022
@ThomasBreuer ThomasBreuer deleted the TB_julia_to_gap_document branch October 13, 2022 07:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants