• Skip to primary navigation
  • Skip to content
  • Skip to footer
VUB Magma Seminar
  • About
  • Posts
  • Categories
  • Tags
  • Links
    Andrew Darlington

    Andrew Darlington

    • Email
    • Website

    Given a function with more than one output, how can we get the second argument of the output?

    November 27, 2025 less than 1 minute read

    For types A, B and an object x of type A, if x is coercible into B, then defining

    > _,y := IsCoercible(B,x)
    

    will assign the result of the coercion to y without assigning any value to. I believe this will work for any number of arguments.

    Tags: basic

    Categories: questions

    Updated: November 27, 2025

    Share on

    X Facebook LinkedIn Bluesky
    Previous Next

    You May Also Enjoy

    Permutation matrices

    December 17, 2025 less than 1 minute read

    Guralnick theorem

    December 15, 2025 less than 1 minute read

    Iterating over an automorphism group

    December 10, 2025 1 minute read

    Setting memory limit

    December 6, 2025 less than 1 minute read

    • VUB Algebra Research Group
    • Feed
    © 2025 VUB Magma Seminar. Powered by Jekyll & Minimal Mistakes.