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

added first tests using Singular.jl #157

Merged

Conversation

ThomasBreuer
Copy link
Member

No description provided.

@codecov
Copy link

codecov bot commented Nov 14, 2018

Codecov Report

Merging #157 into master will increase coverage by 11.42%.
The diff coverage is n/a.

@@             Coverage Diff             @@
##           master     #157       +/-   ##
===========================================
+ Coverage   53.96%   65.38%   +11.42%     
===========================================
  Files          39       39               
  Lines        2320     2320               
===========================================
+ Hits         1252     1517      +265     
+ Misses       1068      803      -265
Impacted Files Coverage Δ
JuliaExperimental/julia/singular.jl 0% <ø> (ø) ⬆️
JuliaExperimental/gap/hnf.g 91.42% <0%> (+48.57%) ⬆️
JuliaExperimental/gap/numfield.g 80.38% <0%> (+49.39%) ⬆️
JuliaExperimental/julia/numfield.jl 81.81% <0%> (+81.81%) ⬆️

JuliaExperimental/gap/singular.g Outdated Show resolved Hide resolved
end );


InstallOtherMethod( GcdOp,
IsIdenticalObj,
[ "IsSingularPolynomial", "IsSingularPolynomial" ],
function( f, g )
return SingularElement( f, Julia.Base.gcd( f, g ) );
return SingularElement( f, Julia.Base.gcd(
JuliaPointer( f ), JuliaPointer( g ) ) );
Copy link
Member

Choose a reason for hiding this comment

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

@sebasguts and me just discussed an extension to the conversion code that would in effect automatically call JuliaPointer to "unwrap" high-level wrapper objects, as long as those high-level objects are in a suitable filter (say, IsAutomaticUnwrappingJuliaWrapper or so...). Then the above change could be reverted to the old version.

Copy link
Member Author

Choose a reason for hiding this comment

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

Should this behavior (automatically unwrapping or not) really belong on an object,
or does it depend on the situation whether one wants to unwrap or not?

Copy link
Member

Choose a reason for hiding this comment

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

We have been discussing this as part of how to deal with extended automatic conversions of arguments for method calls (as opposed to just performing the absolute necessary conversions). We think we have a good plan for that now, and are working on implementing and writing up more about this. In the meantime, this is nothing that should delay this PR.

@ThomasBreuer ThomasBreuer force-pushed the TB_first_test_of_singular branch from 72a7cdf to b69449d Compare November 14, 2018 13:09
@fingolfin fingolfin merged commit bbbec43 into oscar-system:master Nov 14, 2018
@ThomasBreuer ThomasBreuer deleted the TB_first_test_of_singular branch November 14, 2018 15:09
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